|
|
|
|
|
|
by tadfisher
1036 days ago
|
|
|
A short way to describe this: you have to throw away all high-level type information in order to execute code on real machines, so the choice becomes when to throw it away. CLR languages throw it away in the runtime, JVM languages throw some away in bytecode, and Haskell throws it all away in the compiler. |
|
|