Re: [stack] function "adjoinment"?

On Mon, Feb 1, 2010 at 8:33 AM, William Tanksley, Jr
<[email protected]> wrote:
>
> Matt Hellige <[email protected]> wrote:
>
> I wonder if it would be possible to type this operator in a system of
> > extensible records like Daan Leijen's Morrow? That would be a neat
> > trick.
>
> Hmm... That's very interesting. I'd not noticed that one "fly by" on
> lambda-the-ultimate. And this is a particularly interesting twisting of
> Leijen: if I read you correctly, you're suggesting making all stack
> functions take the same number of arguments, and then special-casing each
> one by extending its record.

Yes, this is what I'm suggesting. But I only just thought of it as I
was reading the original email in this thread, so I'm not really sure
whether it would be possible and haven't really thought it through,
let alone tried it. The stack effect system of languages like Cat,
though, always reminded me of a kind of row polymorphism, so I've had
the inkling before.

Matt