Re: [Haskell] class assosiated types, via GADTs or FDs

I am working (with ralf & oleg) on using template-haskell to introduce syntactic sugar for the kinds of tricks used in the HList and OOHaskell papers, to make these programming styles more user friendly. It might be nice to incorporate CATs as well, although I am not sure what an "unlifted" CAT

[Haskell] Proposal: Allow "\=" for field update in record update syntax

I don't know what it takes to get this sort of change into circulation, but I assume it starts with a clear and specific description of the problem, exploration of alternatives, and a specific proposed solution. So here goes: -- Proposal: Allow "\=" for field update in record update sy

Re: [Haskell] Proposal: Allow "\=" for field update in record update syntax

There was a long discussion of these issues a while back under the title 'updating labelled fields'. The most recent message was from SPJ: http://www.haskell.org//pipermail/glasgow-haskell-users/2002-May/003374.html You should probably take a look at the whole thread... On Thu, 17 Feb 2005,

[Haskell] Re: class assosiated types, via GADTs or FDs

Manuel M T Chakravarty wrote: > The functional dependency encoding prevents you from ever making the > representation of your tries/maps (in the MapKey class example) > abstract. It does not only prevent you from declaring it as an abstract > data type, but it actually forces users of a library

[Haskell] MTCoord'05: Second call for papers

[ Our apologies for multiple copies. ] == Second Call for Papers 1st International Workshop on Methods and Tools for Coordinating Concurrent, Di

[Haskell] Announcement: APPSEM-II Summer School, Sep 8-12

APPSEM II Summer School Frauenchiemsee, September 8-12, 2005 1st CALL FOR PARTICIPATION The IST-FET Summer School on Applied Semantics (APPSEM-II) will take place September 8-12, 2005 in Frauenchiemsee near Munich. We are proud to