[Haskell-cafe] Existential quantification of environments.

Adrian Hey ahey at iee.org
Tue Nov 22 07:54:43 EST 2005


On Tuesday 22 Nov 2005 10:39 am, Keean Schupke wrote:
> If I have a function:
>
>    f x y = add x y
>
> and I want to type the function in isolation, then the type of 'add' is
> essentially carried in the environment...

I am no expert in type theory so I'm probably about to get way
out of my depth, but isn't this what "principal typings" are all
about (as distinct from "principal types"). Maybe a look at type
system CT would be useful too.

 http://www2.dcc.ufmg.br/~camarao/CT/

Regards
--
Adrian Hey


More information about the Haskell-Cafe mailing list