@psygnisfive I've added a brief note to the post...
@psygnisfive By "ignored" I mean "elided". As if they were strict. Laziness in that sense is only meant as a performance thing.
-
-
@edwinbrady ahh, ok, so its lazy evaluation with strict semantics, and its the type construct that’s ignored, not inhabitants. interesting -
@edwinbrady is there a reason why lazy evaluation isnt employed uniformly, while retaining strict semantics? - 4 more replies
New conversation -
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.