Welcome to Software Development on Codidact!
Will you help us build our independent community of developers helping developers? We're small and trying to grow. We welcome questions about all aspects of software development, from design to code to QA and more. Got questions? Got answers? Got code you'd like someone to review? Please join us.
Post History
Do Scala's match types support full spectrum dependent types, and if not, what capabilities do they lack?
#2: Post edited
Do [Scala's match types](https://docs.scala-lang.org/scala3/reference/new-types/match-types.html) support full spectrum dependent types, and if not, what aspects of dependent types do they lack?
- Do [Scala's match types](https://docs.scala-lang.org/scala3/reference/new-types/match-types.html) support full spectrum dependent types, and if not, what capabilities do they lack?