[Haskell-cafe] OOP'er with (hopefully) trivial questions.....
catamorphism at gmail.com
Mon Dec 17 14:15:56 EST 2007
On 12/17/07, Wolfgang Jeltsch <g9ks157k at acme.softbase.org> wrote:
> This is not a generalization of what you talked about. Why should the tuple
> type be unboxed? Tuple types are boxed, meaning there is a difference
> between _|_ and (_|_,…,_|_). If you write
> newtype X = X (A, B, C)
> then X doesn't add another level of indirection but the level of indirection
> introduced by the tuple constructor remains, of course. So you could write
> the above newtype declaration instead of
> data X = X A B C.
I interpreted Evan's question as "why can't you have newtypes with
multiple fields?" -- i.e., newtype X = X A B C -- and that's the
question I was answering. But maybe I misunderstood.
Tim Chevalier * catamorphism.org * Often in error, never in doubt
"After three days without programming, life becomes meaningless." --
More information about the Haskell-Cafe