@coreyhaines Thought you might find this one interesting http://jto.github.io/articles/typelevel_quicksort/ …
@baroquebobcat @chadfowler @coreyhaines Not for Idris it isn't. We're trying pretty hard to make it as clear as we can.
-
-
@edwinbrady What I mean is, as a dev, you just want code to work--not to care where bits are handled whether in the compiler, or at runtime -
@baroquebobcat If you write it in a program: runtime. If you write it in a type signature: compile time. We have thought this through! - 3 more replies
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.