Re: abstraction power
Thanks Jon for tranlating the basic idea of my Scheme code into ML.
If I can think of a simple way to show the expressive power (in the sense
that you and I publish about), I will write it up.
[Note: We have a paper submitted for pubs that uses the trick but it is
difficult to distill it down to a message. Plus, the paper doesn't
contain a proof concerning `expressiveness' -- that's not the point.]
I am aware of the exn trick, which is used for all kinds of purposes.
Apologies for the misrepresentation of your message. And of course I
am happy to see open-minded Typers :-)