Phobos 3 Discussion Notes - 02-01-2024

[Richard (Rikki) Andrew Cattermole]

On 04/02/2024 1:40 AM, Alexandru Ermicioi wrote:
> On Saturday, 3 February 2024 at 11:54:48 UTC, ryuukk_ wrote:
>>
>> Oh, and Exception Handling?
>>
>> Get in native tuple and tagged union in the language, and you'll be 
>> able to build nice error handling code
>>
>> I hope no EH in Phobos 3
> 
> Existing try catch syntax could be improved to support tagged union 
> you've mentioned btw.  Compiler then would inject extra code on each 
> statement that returns a tagged union to automatically forward to 
> appropriate catch clause, if an exception is returned from said statement.

Yes it is well known that we want a different exception handling 
implementation in addition to the runtime one we have now.

I suspect I should probably begin doing a write up on sum types. I'm not 
happy with Walter's design. It leaves some things out that are kinda 
needed to match the problem domain.

https://github.com/rikkimax/DIPs/blob/value_type_exceptions/DIPs/DIP1xxx-RC.md