[Haskell-cafe] a beginner question: decorate-op-undecorate

Stephen Tetley stephen.tetley at gmail.com
Sat Feb 6 03:29:16 EST 2010

Hello Aran

Changing to an explicit sum type rather than using Either might
subsequent functions that process a Binding cleaner:

data Binding = BoundVar      Var Value
             | PossiblyBound Var [Value]

Naturally you might want to consider a better constructor name than


As an open question to the list - the above change can be seen as a
'denormalisation' of the data type (adding redundancy), does anyone
know of a reference that covers such things?

The only thing I can think of close is David S. Wile's "Abstract
syntax from concrete syntax"...



More information about the Haskell-Cafe mailing list