[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde
g9ks157k at acme.softbase.org
Sat Mar 14 11:09:10 EDT 2009
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.
More information about the Haskell-Cafe