Hacker News new | ask | show | jobs
by noelwelsh 4 days ago
Scala's capture checking [1] is a modal type system.

[1]: https://docs.scala-lang.org/scala3/reference/experimental/cc...