There is most definitely a haskell runtime... what do you think handles garbage collection in haskell programs. Haskell also needs a runtime to execute its evaluation strategy which is not call stack based, but graph…
I don't think it really 'misses' this point, so much as it elects not to touch on this. I think the point is that the effectfulness of a value is captured in its type, but if you're trying to explain this to someone…
There is most definitely a haskell runtime... what do you think handles garbage collection in haskell programs. Haskell also needs a runtime to execute its evaluation strategy which is not call stack based, but graph…
I don't think it really 'misses' this point, so much as it elects not to touch on this. I think the point is that the effectfulness of a value is captured in its type, but if you're trying to explain this to someone…