I thought of it as the only available stack mechanism, and I belive
there could be some optimising technique which could eliminate most of
the slowdown introduced -- especilally in a language with constant
type effects.
In my view, if you stuck to this option you would get this feature for
free leaving others intact.
> define get_top_int : (int 'A:* -> int 'A int)
> { /* looks under N values until it finds an int and copies it to the top */
> }
>
> - Christopher
>
--
pierre