3 ms·

I'm not knowledgeable of this stuff, but I'll keep taxing your patience until you tell me to stop. Haskell types don't exist at runtime... because Haskell code

I'm not knowledgeable of this stuff, but I'll keep taxing your patience until you tell me to stop. Haskell types don't exist at runtime... because Haskell code (like with any other compiled language) gets translated to a lower-level machine language that works with untyped memory addresses? Or are you saying that (for example) Fortran types are closer to the metal somehow?

shakna 9y ago
Haskell types don't exist at runtime, because you can't check a type at runtime. Any type-checking has to happen at compile time, because that information doesn't make it through. So, something like Python's isinstance or type functions can't exist.