Re:Beating the Arc Challenge in Haskell
by fauigerzigerk on Sunday December 20, 2009 @04:15AM
(#1005960)
The problem is that the type error occurs at runtime, which is exactly what static type checking is supposed to prevent in the first place.
[ Parent
| on HN ]
It depends on what you mean by "runtime." If you're creating a new datatype, is that really "at runtime," or are you just talking to the compiler interactively?
To put it another way: metaprogramming might have effects at runtime, but not the kind of effects that change depending on what the runtime does. Metaprogramming should be deterministic for your program to be considered to be "in production."