Exceptions are just return type variants you don't declare in the function return type send twete
-
Show this thread
-
Rust's Result<T, io::Error> is semantically equivalent to Java's "type … throws IoException" or whatever, prove me wrong
2 replies 0 retweets 7 likesShow this thread -
Replying to @myrrlyn
Equivalence of monads and checked exceptions have been known for a long time, for example “A Formalisation of Java’s Exception Mechanism”, Bart Jacobs 2001 http://www.cs.ru.nl/B.Jacobs/PAPERS/ESOP01.ps …
1 reply 0 retweets 6 likes -
Replying to @pcwalton
wow that's cool I wish I knew how to seek out CS papers, like, at all
1 reply 0 retweets 2 likes
Replying to @myrrlyn
There’s a followup about monads in particular from 2003, “Coalgebras and monads in the semantics of Java“https://www.sciencedirect.com/science/article/pii/S0304397502003663 …
4:16 PM - 9 Sep 2019
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.