Containers
Associating items by Type Class
Jul 18, 20223 min read1.3K
Command Palette
Search for a command to run...
#dependent-types
Articles tagged with #dependent-types
Search for a command to run...
Articles tagged with #dependent-types
Associating items by Type Class
Strongly-typed programming languages allow us to avoid programming errors by lifting important information about data into the type system. By doing this, we can use the compiler to check our programs, and the stronger your types, the more your compi...