Today, for example, I can't decide whether to be pleased or horrified that this type checks... https://gist.github.com/edwinb/90f6cd29dd59e22384ee0dfb1762f6a4 … (Note the pattern matching on types in >>= to work out whether to bind the result as linear or not)
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Nobody involved in any kind of language design or implementatioun would, I expect :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
As someone who also implements type checkers, I can definitely relate to the "pleasantly surprised about what code can do" energy~
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.