4 ms·
"When and how often this happens is irrelevant." Why do you say that?
by jeffdavis 14y ago
"When and how often this happens is irrelevant."
Why do you say that?
- ambrop7 14y agoBecause 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.