Comments on The Alien Tongue: exception handling with defmacro

The "catch me if you can" ocaml library ...

2011-04-16T15:15:37.825-07:00

The "catch me if you can" ocaml library has an interesting approach, that I could probably emulate with Irken. One aspect gives me pause: the type of exception-handling functions becomes annotated with the exceptions that it handles. Good/Bad/Ugly, this makes me nervous. Also, if you want to read that link you probably need to turn off javascript, otherwise the source boxes are unreadable. [tried 3 browsers]. http://dutherenverseauborddelatable.wordpress.com/downloads/exception-monads-for-ocaml/

And the 'delimcc' library for OCaml talks ...

2011-04-13T20:19:23.404-07:00

And the 'delimcc' library for OCaml talks about how to implement the operators described in that paper. I'm still trying to figure out why they need 'new_prompt' in addition to 'set x in ...'. Why not combine new_prompt and 'set x in ...'?

Having trouble with the type safety of call/cc etc...

2011-04-08T17:23:47.935-07:00

Having trouble with the type safety of call/cc etc. This paper looks relevant: http://www.cs.uml.edu/~giam/91.531/Textbooks/GunterRR95.pdf
"A generalization of exceptions and control in ML-like languages"

And of course that code doesn't actually *work...

2011-04-07T14:29:59.823-07:00

And of course that code doesn't actually *work* as an exception handler because it doesn't capture the continuation of the handler. 8^) details!

A good history of exception handling in lisp: http...

2011-04-07T14:03:57.070-07:00

A good history of exception handling in lisp: http://www.nhplace.com/kent/Papers/Condition-Handling-2001.html