Generic Haskell II

Ralf Hinze links to Generic Haskell II. It mentions some papers we've talked about here (generic views, typed contracts) and some new stuff (SYB analysis & extensions, polytypic type inference).

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.


isn't standard Haskell pretty generic already, with polymorphic types, type classes and everything? how much is too much? :)

also, i'm seeing casts, though claimed to be type-safe...

well having polytypism to

well having polytypism to seems quite nice.