3 ms·
I think the point is that the language has to have a comprehensive runtime if it wants to have a mathematical(-like) notation in its syntax and to be efficient.
by ghostwriter 6y ago
I think the point is that the language has to have a comprehensive runtime if it wants to have a mathematical(-like) notation in its syntax and to be efficient. Implementing such a runtime is a very hard engineering task, and GHC's runtime is the feature that I appreciate equally to its comprehensive type system.
- whateveracct 6y agoGHC's RTS (and optimizations/codegen too) is really great. I have a b/g in CompE and hardware but I mostly do FP now, so the RTS is the perfect fusion of those two. It's the area to find answers to "how do we efficiently evaluate lambda calculus?"