@edwinbrady I was just reading that thread! It seems to be useful, would love your input on it!
-
-
-
@scottmurphy09 in general, people over emphasise proof, or try to write Haskell in Idris. DTs more about precision than proof. - 2 more replies
New conversation -
-
-
(as in, "Doctor, it hurts when I...")
-
This Tweet is unavailable.
New conversation -
-
-
@edwinbrady I guess I'll do the same for the threads about lazy-by-default semantics :) -
@bitemyapp exactly... Tradeoffs everywhere! - 2 more replies
New conversation -
-
This Tweet is unavailable.
-
-
@edwinbrady opportunities to improve a lang that are mistakenly taken as faults of a paradigm.Thanks. 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.