6 Feb
2010
6 Feb
'10
3:29 a.m.
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 'PossiblyBound'. -- 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"... Thanks Stephen