@coreyhaines Thought you might find this one interesting http://jto.github.io/articles/typelevel_quicksort/ …
@baroquebobcat If you write it in a program: runtime. If you write it in a type signature: compile time. We have thought this through!
-
-
@baroquebobcat We're also working quite hard to help devs use types to write code which works. We write programs ourselves too after all! -
@edwinbrady I don't doubt it. Idris sounds fun. - 1 more reply
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.