To celebrate this talk now being publicly available, I’ve added a chapter that was not part of the original presentation!
This Backtraces section aims to explain how backtraces are constructed for exceptions, so that exceptions can be linked to the code location that raised them. It also gives enough details about the implementation to justify the claims in Takeaway #5 about backtrace collection and raise_notrace.
It’s a bit technical, so I didn’t dive in all the details, but there’s certainly plenty to understand the technique used.
The updated slides can be found in the release page of the repository: Releases · fabbing/obts_exn · GitHub
Feel free to ask me any questions if anything isn’t clear enough. 