Thu Aug 4 09:18:38 CEST 2011

Lambda or struct?

One thing one could conclude from the embedding of typed languages as
functions instead of data is that functions seem to be strictly "more
magical" than data structures.

Is this merely a restriction of algebraic data types in a typed
setting?  Hence the existence of GADTs.  I never ran into this kind of
"difference" between data and code in Scheme, i.e. following the idea
that data is completely free-form and can always be interpreted.