1. 14

  2. 2

    Wow, that’s brilliant. The dead code elimination capabilities of this are significant, and it’s something I’m missing from other languages like Haskell.

    I wonder if this would be possible if the language provided the facility for synchronous IO (the lack of which is the cause of so many whiny blog posts about how some person is “leaving” Elm). I suspect it would not be possible.