Home

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).

By Jim Apple at 2006-03-26 18:18 | Functional | other blogs | 6512 reads

Comment viewing options

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

say

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...

By rmalafaia at Tue, 2006-03-28 11:19 | login or register to post comments

well having polytypism to

well having polytypism to seems quite nice.

By Felicia Li Svilling at Tue, 2006-03-28 12:58 | login or register to post comments