[Haskell-cafe] expression problem

[Roel van Dijk]

Have you read Wouter Swierstra's "Data Types A La Carte" [1]?

Whether it uses basic and easy parts of Haskell depends on your
mindset. You need to wrap your head around the fixpoint. It requires
at least the MultiParamTypeClasses language extension.

Regards,
Roel

1 - http://www.cs.nott.ac.uk/~wss/Publications/DataTypesALaCarte.pdf

On Mon, Aug 16, 2010 at 12:17 PM, Patrick Browne <patrick.browne at dit.ie> wrote:
> Hi,
> The expression problem [1] can be described as the ability to add new
> variants (either constructors or methods) to a data type  without
> changing the existing code. The Haskell and OO language issues are well
> described at [1]
> It seems that the expression problem does not exist in Maude[2].
>
> My question is:
> Using basic and easy parts of the Haskell, does Haskell currently handle
> the expression problem.  In other words I would like to avoid demanding
> and sophisticated coding techniques or non-standard Haskell extensions
> (i.e. it should be easy for the average programmer to use).
> If there is a simple solution could you please point me to an example.
>
> Thanks,
> Pat
>
>
>
> [1] Dr. Ralf Laemmel
> http://channel9.msdn.com/shows/Going+Deep/C9-Lectures-Dr-Ralf-Laemmel-Advanced-Functional-Programming-The-Expression-Problem/
> [2]http://lists.cs.uiuc.edu/pipermail/maude-help/2010-January/000336.html
>
>
> This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>