Type Checking with Open Type Functions.GHC’s type checker supports type synonym families in the development version since a few months. This paper explains the type theory underlying that extension.
Mar
25th
Tue
The FP Sydney group (fp-syd) will have their second meeting this coming Thursday, 27 March. Details are on the fp-syd Google groups page.
C->Haskell 0.15.1 released.Duncan’s latest release builds with GHC 6.4 through to 6.8 and also properly supports OpenBSD and Windows. Moreover, the documentation has been updated.