Hi Henning On 14 Mar 2009, at 01:36, Henning Thielemann wrote:
On Tue, 10 Mar 2009, Conor McBride wrote:
Apologies for crossposting. Please forward this message to individuals or lists who may be interested. In addition to the recently advertised PhD position at Strathclyde on "Reusability and Dependent Types", I am delighted to advertise the following PhD opportunity.
{--------------------------------------------------------- -- Haskell Types with Numeric Constraints ---------------- ---------------------------------------------------------}
Sounds like it could simplify http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ dimensional/
Hope so.
a lot. However, isn't this halfheartedly since we all wait for full dependent types? :-)
Rome wasn't burnt in a day. Of course I want more than just numerical indexing (and I even have a plan) but numeric constraints are so useful and have so much of their own peculiar structure that they're worth studying in their own right, even for languages which do have full dependent types, let alone Haskell. We'll carry out this project with an eye to the future, to make sure it's compatible with full dependent types. Be assured (excited, nervous, etc...) that this is not halfhearted: it's a wholehearted start. All the best Conor