Serokell’s Work on GHC: Dependent Types, Part 5

Dependent Haskell is what allows me to confidently focus my efforts on Haskell. IMO, it will allow Haskell to maintain a clear advantage over other languages for the foreseeable future. My sincerest thanks to all of the brilliant people doing this work! Thanks for striving ever-onward toward making this a language with which we can achieve most anything within possibility. Ps. I was listening to the Haskell cast the other day and heard Eisenberg say that if DT doesn’t land by 2017, it would be “late”. Oh you sweet summer child. Isn’t that always the way?!? Anyway, thanks again to everyone involved and special thanks to Jesse for doing the hard initial work toward this goal.