[email protected]
[Top] [All Lists]

[Haskell-cafe] Design question

Subject: [Haskell-cafe] Design question
From: Jeff Wheeler
Date: Wed, 16 Dec 2009 11:10:52 -0600
On Wed, Dec 16, 2009 at 10:40 AM, [email protected] <[email protected]> wrote:

> 1) Is the way i define and use "SubSet", the only/valid way to define
> subsets?
>
> 2)ÂWhat's the best way toÂmake "doSomethingElse" polymorphic?

I'm not very familiar with them, so I'm not sure if it's totally
applicable, but generalized algebraic datatypes (GADTs) might be what
you're looking for.

--
Jeff Wheeler

(Sorry, sent this to the author originally.)
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread] Current Thread [Next in Thread>