[Ur] Incompatible kinds

Adam Chlipala adamc at impredicative.com
Thu Dec 2 17:48:08 EST 2010


Karn Kallio wrote:
>> You can't really treat kind-polymorphic
>> constructors as first-class.
>>      
> What!! But Ur/Web is a project of IMPREDICATIVE.com !!
>
> [ This is joking :) ]
>    

Yup, you have impredicative polymorphism in constructors, but not kinds. :-)



More information about the Ur mailing list