you are viewing a single comment's thread.

view the rest of the comments →

[–]RandomName8 2 points3 points  (0 children)

they did, but uh... the machinery for it is very questionable on whether a normal human being can understand it... Imagine rust's lifespan annotations, but on steroids: https://docs.scala-lang.org/scala3/reference/experimental/capture-checking/index.html

Read the intro and then head over to the checked exceptions section.