contributors.scala-lang.org/t/proposal-to-… Proposal to add Dependent Function Types to the Language 🍥odersky wrote: Here’s a proposal to add dependent function types to Scala 3. A dependent function type such as (x: A)
0
0
0
0
0