[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde

[Wolfgang Jeltsch]

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