Embed Notice

@dougmerritt
...variables don't have types, values have types...

I forgot the author but there was a great paper from the early 80s included in IPE something like Programming Environments Need Dynamic Types, the gist of which was that you simply don't know how much memory needs to be allocated for a type that is going to be invented tomorrow, and in statically typed languages, the practice is to fake dynamic typing using arrays or something anyway.
@AmenZwa @fl @Jose_A_Alonso