@edwinbrady Idris question: so evaluation is *mostly* eager? Noticed that loop = loop; main = (let x = loop in return ()) terminates
@cayleehogg Oh! It appears to be optimising it away since it does some evaluation before compilation. Not sure this is the right behaviour.
-
-
@edwinbrady Ah, okay. I ask cuz I'm trying to understand a language we're writing with a toy interpreter and want to understand evaluationThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.