Spent so long trying to get quote formatting on a mobile that I didn't notice I've replied to the op, not the subthread. Bad times. Whether x64 is typed or unt

Spent so long trying to get quote formatting on a mobile that I didn't notice I've replied to the op, not the subthread. Bad times. Whether x64 is typed or untyped feels like the start of an argument about whether xmm registers have the same type as stack memory which is kind of interesting but orthogonal to elixer. I would agree that static, dynamic and untyped are distinct things. You can compile from a source language with any type system to a target language with any type system. I think, there may be edge cases around excessively constrained languages. As an extreme example, the target machine says nothing about whether you can constant fold 1+2 into 3 in the source language, but the source language can definitely block or enable that minimal optimisation.