#programmer
Read more stories on Hashnode
Articles with this tag
Scala has had the concept of Path Dependent Types for a long time, and in Scala 3 this concept has been used to formalize the type system (see: DOT...