On Mon, Jul 1, 2019 at 3:43 AM Ian Lance Taylor <i...@golang.org> wrote:

>
> Checked exceptions address some of the difficulties with exceptions.
> However, they introduce new difficulties, and I do not believe they
> work in large-scale programs.


It is essentially a nominal effect system on exceptions. My bet is we are
better off it is was structural and thus automatically inferred by the
compiler. There is also the point that an exception must be a shared secret
between a raiser and a handler[0], which somewhat argues against the notion
of a checked exception in the first place.

[0]
https://existentialtype.wordpress.com/2012/12/03/exceptions-are-shared-secrets/

-- 
You received this message because you are subscribed to the Google Groups 
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to golang-nuts+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/golang-nuts/CAGrdgiXaJX4tnOUebn2FVgYGcB174OaaNsadWxdx8iMHWctZkw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to