[Haskell-cafe] Re: type level functions (type of decreasing list)
haskell at sleepingsquirrel.org
Wed Oct 18 16:44:56 EDT 2006
Stefan Holdermans <stefan at cs.uu.nl> wrote:
> What about the following (tested with GHC 6.6)?
and oleg at pobox.com wrote:
> One way is to use existentials:
> Perhaps a better -- and a more general alternative -- is to use
> type-level programming to its fullest.
Thanks everyone, those are interesting solutions!
More information about the Haskell-Cafe