@coreyhaines Thought you might find this one interesting http://jto.github.io/articles/typelevel_quicksort/ …
-
-
@edwinbrady@chadfowler@coreyhaines But then, obscuring operational characteristics is a common desired feature of functional langs. -
@baroquebobcat@chadfowler@coreyhaines Not for Idris it isn't. We're trying pretty hard to make it as clear as we can. - 5 more replies
New conversation -
-
-
@edwinbrady@chadfowler@coreyhaines With 1st class types, it's harder to know what will be interpreted by the compiler vs compiled program. -
@baroquebobcat@chadfowler@coreyhaines Not really. Types themselves are never compiled, and if you don't write it, we check it's erasable.
End of conversation
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.