Re: [stack] Self Types

Further to my previous reply:

Cat seems to be related to Joy in the same way as
Haskell and (the functional subset of) ML are related
to (the functional subset of) Lisp/Scheme: Cat is
strongly typed and Joy is not.

A good question to ask: Even if y and x are possible in Joy
just as y is possible in Lisp/Scheme, it might just be that
y and x (your dup apply) are not possible in Cat. Am I
right in believing that y is not possible in Haskell and ML?
If so, then perhaps your dup apply problem would
disappear ­ simply by prohibiting it.

Are there any Haskellers or MLers on board?

  - Manfred




[Non-text portions of this message have been removed]