Elektrine lite

← Feed

@JamesWidman@mastodon.social

Post #1650316

2026-04-17 23:37 UTC

@pfriedma @bsdphk @whyrl ...and then on top of that, it's going to unwind the stack, and thereby destroy evidence that would be useful in locating the root cause of a bug, in the event of programming mistakes like null dereferences!? https://learn.adacore.com/courses/intro-to-ada/chapters/exceptions.html I really hope there's a way to disable or alter this behavior and make it trap instead, so that the stack is preserved for debugging...? (C++ unwinds the stack too, but (1) generally not on UB, and (2) we have sanitizers for UB.)

Replies (1)

  • @JamesWidman@mastodon.social 2026-04-17 23:41

    @pfriedma @bsdphk @whyrl in modern times, we would probably want to use an effect system (like the effect types & handlers in Koka) in use cases where previous generations used exceptions.

    Open ##1650317