/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 blog.polybdenum.com
What are GADTs and why do they make type inference sad? | Considerations on Codecrafting
| | tech.preferred.jp
Exhaustive Union Matching in Python - Preferred Networks Research & Development
3.0 parsecs away

Travel
| | Pattern matching on algebraic data types is a powerful technique to process a given input and many programming languages have adopted it in one way or
| | usethe.computer
POTD: "Generalized Algebraic Data Types and Object-Oriented Programming"
2.4 parsecs away

Travel
| | Today's POTD presents a translation of a great tool from the functional programming community into the more mundane world of 90s-style object-oriented programming languages.
| | wimvanderbauwhede.codeberg.page
Roles as Algebraic Data Types in Raku Wim Vanderbauwhede
3.0 parsecs away

Travel
| | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles.
| | grossack.site
Life in Johnstone's Topological Topos 2 -- Topological Algebras | Chris Grossack's Blog
19.4 parsecs away

Travel
| Chris Grossack's math blog and professional website.