@coreyhaines Thought you might find this one interesting http://jto.github.io/articles/typelevel_quicksort/ …
-
-
-
Replying to @coreyhaines
@chadfowler Building the numbers in a pattern-matching type system is much nicer than with lambdas. :)1 reply 0 retweets 0 likes -
Replying to @coreyhaines
@coreyhaines :) you still need to check out Idris if you haven't yet cc@edwinbrady2 replies 0 retweets 1 like -
Replying to @chadfowler
@chadfowler@coreyhaines@edwinbrady Compilers with fancy type systems are just interpreters of strange programming languages.1 reply 0 retweets 0 likes -
Replying to @baroquebobcat
@baroquebobcat@coreyhaines@edwinbrady they're not necessarily strange1 reply 0 retweets 0 likes -
Replying to @chadfowler
@chadfowler@baroquebobcat@coreyhaines Yes, fancy type systems are less strange with first class types. One language for types and values.2 replies 0 retweets 2 likes -
Replying to @edwinbrady
@edwinbrady@chadfowler@coreyhaines With 1st class types, it's harder to know what will be interpreted by the compiler vs compiled program.1 reply 0 retweets 0 likes
@baroquebobcat @chadfowler @coreyhaines Not really. Types themselves are never compiled, and if you don't write it, we check it's erasable.
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.