Exploring Algebraic Data Types In Net Worth 2026: Salary, Income & Wealth

A look at combining combine product and sum types to define

Written version: http://blog.rockthejvm.com/

As domain driven design practitioners, we have to design datastructures a lot. Often we have to encode our knowledge into a ...

Alge is a new library that Jason has developed this summer for working with

Algebraic data types

In this video, we introduce you to some of the basic

https://cppcon.org/ ...

Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python?

In this video, we learn the basics of creating

typetheory #algebraicdatatypes #logic Access exclusive content on Patreon: https://www.patreon.com/user?u=86649007 ...

A look at how you can match on your custom

In this episode you'll

18th of May 2026. Slides available at https://topos.institute/events/topox/ A representable natural transformation u : U* → U in the ...