[Ur] First-Class Polymorphism example

Adam Chlipala adamc at impredicative.com
Thu Apr 5 19:12:30 EDT 2012


Marc Weber wrote:
> What about kind polymorphic type level functions?

The compiler doesn't really do first-class kind polymorphism at the 
moment.  I also don't think it's a crucial feature, so I don't have 
plans to add it.



More information about the Ur mailing list