RE: Patterns Catalog

[Frank Atanassow]

[changed cc: to haskell-cafe]

Chris Angus writes:
 > I have thought of a few "functional patterns"
 > ...
 > *) Phantom types
 > [..]
 > *) Decoration [transform one structure into another]
 >              (possibly use polymorphism to make strcutures the same but
 > parameterised)

What are these two? "Phantom types" = existential types?

-- 
Frank Atanassow, Dept. of Computer Science, Utrecht University
Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands
Tel +31 (030) 253-1012, Fax +31 (030) 251-3791