recentpopularlog in

ianweatherhogg : kind   23

Some interesting features of Haskell’s type system « Wolfgang Jeltsch
One of the most important ingredients of Haskell is its type system. Standard Haskell already provides a lot of useful mechanisms for having things checked at compile time, and the language extensions provided by the Glasgow Haskell Compiler (GHC) improve heavily on this.In this article, I will present several of Haskell’s type system features. Some…
haskell  kind  type  class  multi  parameter  families  5* 
april 2014 by ianweatherhogg
non/kind-projector · GitHub
kind-projector - Compiler plugin for making type lambdas (type projections) easier to write
scala  type  projection  kind  compiler  plugin 
march 2013 by ianweatherhogg

Copy this bookmark:

to read