#dependent-types
Read more stories on Hashnode
Articles with this tag
Associating items by Type Class ยท When learning Scala you'll eventually encounter two forms of polymorphism. If you come from a Java or C++ then you'll...
Strongly-typed programming languages allow us to avoid programming errors by lifting important information about data into the type system. By doing...