[Grace-core] Minutes of Teleconference 23-24.8.12

[Marco Servetto]

For exception safety, please, consider also the solution offered into
"""Strong exception-safety for checked and unchecked exceptions"""
Jot 2011 http://www.jot.fm/contents/issue_2011_01/article1.html

This is a solution for exception safety relaying only on the type
system, leaving the (conventional) semantic of the exception.
I believe that since Grace is designed to be a didactic language:
-for students should be easy to move to other languages after learning grace.
keeping the same semantic for exceptions and simply teach them to
avoid the cases where such semantic require non-modular reasoning to
be understood (i.e. hard time for verifiers, for documentation writers
and for debugging).

In the context of teaching the "conventional" exception model,
a type system that hit you in the head if you write bad code is better
then changing the exception semantic.

Marco.