3 ms·
I agree, the language runtime should support this somehow. http://roboprogs.com/devel/2009.07.html#2009_07_30 http://roboprogs.com/devel/2009.07.html#2009_07_3
by Roboprog 14y ago
I agree, the language runtime should support this somehow.
http://roboprogs.com/devel/2009.07.html#2009_07_30 http://roboprogs.com/devel/2009.07.html#2009_07_30 (point number 4 in the numbered list)
Of course, I was thinking of a runtime attribute, rather than static typing, but the idea is similar.
- eru 14y agoEven with static typing, you might end up implementing using run-time support. (Of course the holy grail is to compile away all type information. But that's not only attainable. Even Haskell's ghc compiler keeps some information around for runtime. Something to do with typeclasses, if you want to look up the details.)