On Monday, 12 January 2015 at 20:07:17 UTC, deadalnix wrote:
On Sunday, 11 January 2015 at 13:06:27 UTC, Dicebot wrote:
What is your opinion of approach advertised by various
functional languages and now also Rust? Where you return error
code packed with actual data and can't access data without
visiting error code too, compiler simply won't allow it.
Rust has an approach very similar to exception, but they do not
unwind and trash the whole task instead. Under the hood, it is
exception, but tend to be faster as you don't go through the
landing pad/personality function dance, but do not
fundamentally differ.
It is difficult to introduce exceptions without causing problems
for linear typing.
http://www.serc.iisc.ernet.in/~govind/NHC-07/final/ExceptionsSlides.pdf