Am Samstag, 14. März 2009 14:51 schrieb Conor McBride: > > Conor, is Epigram currently under development? > > We've even stopped working on the engine and started working on the chassis. > I'm in an intensive teaching block until the end of April, but from May it > becomes Priority. The "Reusability and Dependent Types" project studentship > will hopefully bring an extra pair of hands, come October.
This sounds good! > I don't see any conflict -- indeed I see considerable synergy -- in working > simultaneously on the experimental frontier of dependent type systems and > on the pragmatic delivery of their basic benefits via a much more > established language like Haskell. Indeed, I think we'll learn more readily > about the engineering realities of developing applications with dependent > types by doing plenty of the latter. This makes sense indeed. Best wishes, Wolfgang _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
