[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde

[Conor McBride]

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