20 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Basile B. | On Thursday, 16 January 2025 at 19:37:36 UTC, Basile B. wrote: >I dont see how that helps to abort when an error happens "in between the chain" let's say. Turn all operations into monadic combinators, example for Nullable: https://dlang.org/phobos/std_typecons.html#apply | |||
20 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Meta | On Friday, 17 January 2025 at 00:21:35 UTC, Meta wrote: >On Thursday, 16 January 2025 at 19:02:05 UTC, Basile B. wrote: >I have the feeling that things like is only possible thanks to an exception system. A similar expressivity looks impossible for example with the idom of result tuple It's very easily doable, arguably with even better ergonomics than with exceptions: C/C++ programmers are just stuck in the 80s 😛 Nice, thanks for the link, so finally it seems that the problem would be solved since 2014. | |||
20 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
Posted in reply to Kagamin | On Friday, 17 January 2025 at 08:43:00 UTC, Kagamin wrote: >On Thursday, 16 January 2025 at 19:37:36 UTC, Basile B. wrote: >I dont see how that helps to abort when an error happens "in between the chain" let's say. Turn all operations into monadic combinators, example for Nullable: https://dlang.org/phobos/std_typecons.html#apply Yeah that's also what's described in the talked pointed by Meta. | |||
20 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
Posted in reply to Kagamin | Nullable having range interface, maybe you can just add error to the range contract? | |||
20 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
Posted in reply to Kagamin | Or an error subrange? | |||
19 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Basile B. | On Thursday, 16 January 2025 at 19:02:05 UTC, Basile B. wrote: >I have the feeling that things like is only possible thanks to an exception system. A similar expressivity looks impossible for example with the idom of result tuple that problem is currently something rather serious, in the sense that, let's say you want to make a standard library, you really need to have a well defined way of handling errors. I'll be interested to read your thoughts on that topic. I suggest to you to have a look how pure functional programming languages are handling such kind of constructs. As a soft start I suggest Elm. | |||
10 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Paolo Invernizzi | On Friday, 17 January 2025 at 09:35:03 UTC, Paolo Invernizzi wrote: >On Thursday, 16 January 2025 at 19:02:05 UTC, Basile B. wrote: >I have the feeling that things like is only possible thanks to an exception system. A similar expressivity looks impossible for example with the idom of result tuple that problem is currently something rather serious, in the sense that, let's say you want to make a standard library, you really need to have a well defined way of handling errors. I'll be interested to read your thoughts on that topic. I suggest to you to have a look how pure functional programming languages are handling such kind of constructs. As a soft start I suggest Elm. While they should be part of the convrsation; purity is holding back ranges and we dont have the compiler tool set of haskell. | |||
7 hours ago Re: [OT] Is there a real alternative to exceptions ? | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Meta | On Friday, 17 January 2025 at 00:21:35 UTC, Meta wrote: >On Thursday, 16 January 2025 at 19:02:05 UTC, Basile B. wrote: >I have the feeling that things like is only possible thanks to an exception system. A similar expressivity looks impossible for example with the idom of result tuple It's very easily doable, arguably with even better ergonomics than with exceptions: C/C++ programmers are just stuck in the 80s 😛 Some may be, others go with the times, courtesy of C++23. https://en.cppreference.com/w/cpp/utility/expected | |||
Permalink
Reply
