4 ms·
Because it's an implementation thing, it has no relevance from a theoretic view on the language. It's like the "compiled/interpreted" label.
by ambrop7 14y ago
Because it's an implementation thing, it has no relevance from a theoretic view on the language. It's like the "compiled/interpreted" label.
- jeffdavis 14y agoI'm not an expert, but my understanding is that IO is not necessarily run even if an expression is evaluated that produces a value of type "IO a". That is a theoretical difference, not just an implementation detail.