[m-dev.] checked exceptions.

Michael Day mikeday at yeslogic.com
Wed Feb 13 13:10:31 AEDT 2013

Hi Paul,

> How do people feel about checked exceptions?

Vehemently opposed :)

In my opinion the use of discriminated union types for return values is 
one of the strong points of Mercury programming, and checked exceptions 
would undermine that.

Since it would be a new complex addition to the type system, it needs a 
very strong motivation to justify adding it.

What is the reason for considering this feature?



More information about the developers mailing list