← Back to context Comment by debugnik 2 days ago I'm familiar with OxCaml, but in what sense does Scala have modalities? 1 comment debugnik Reply noelwelsh 2 hours ago Scala's capture checking [1] is a modal type system.[1]: https://docs.scala-lang.org/scala3/reference/experimental/cc...
noelwelsh 2 hours ago Scala's capture checking [1] is a modal type system.[1]: https://docs.scala-lang.org/scala3/reference/experimental/cc...
Scala's capture checking [1] is a modal type system.
[1]: https://docs.scala-lang.org/scala3/reference/experimental/cc...