thoughts on datatypes

Hahahahahahahaha How The Fuck Are Datatypes Real Hahahaha Nigga Just Church Encode Everything Like Nigga Just Use Lambda For It Hahaha

Enjoy your 1488% overhead on literally every instruction.

>>2

1488% overhead

how exactly

>>2
/polecat keboards.reddit.org/the_Cuckoldabs/

JACKSON FIVE GET

How can datatypes be real if type erasure is real?

>>6
type erasure is not real

>>7
Anus exposure is

There are no datatypes, only bits are real.

Register sized variables are the only datatypes.
Everything else is abstract bullshit emulation.

How can dynamic type checking be real if runtime reflection is not real?

>>11
It isn't indeed.

>>9
Bits are real and useless. They only become manipulable via an ephemeral imaginary concept of types.

Types are only meaningful as a concept, they do not physically exist in real computers. Every operation in a computer is a mapping between bit patterns, it doesn't matter whether a bit pattern was created by a floating point sqrt function or an integer addition function, the computer sees the end result the same. The only sort of persistent, real type information that can exist in a physical computer is the size and identity of registers.

>>14
There are lots of things that are only meaningful as a concept, but without which life would be total shit, e.g. law, mercy, justice. Types are the law and order of the computer world, allowing us to organize the barbaric Wild West of bits into a civilized and productive nation of variables and values.

Install Exherbo Musl/Toybox/Util-Linux/ubase-box/clang/kFreeBSD.