I read the Joe Duffy blog post on error handling in Midori, and they ultimately settled on semi-checked exceptions. It seemed to be not totally terrible, but still required static types.

I'm not against adding types to this thing later, but this is still new to me and dynamic typing seem easier to make work for babby's first language.