On 2008-10-11, at 08:34EDT, David Herman wrote: > Thank you for pointing out, though, that try/catch isn't so easily > defined on top of return-to-label, since it still needs special > handling for finally. The options are either to define a lower-level > primitive underlying try/finally (akin to Scheme's dynamic-wind), or > to leave exceptions -- or at least try/finally -- as primitive. I > lean towards the latter; dynamic-wind is a subtle beast. > > [For those interested in dynamic-wind, Flatt et al's ICFP 07 paper > has a nice investigation into its > semantics:http://www.cs.utah.edu/plt/publications/icfp07-fyff.pdf > ]
My 2p: If introducing a lower-level primitive would mean the language could someday have handler-binding (the ability to handle a condition in the frame it is signaled in), I think that would be a big win. _______________________________________________ Es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
