New posts in algebraic-data-types

Haskell record pattern matching

haskell pattern-matching record algebraic-data-types

Java tagged union / sum types

java haskell algebraic-data-types

What are "sums-and-products" data structures?

data-structures programming-languages types type-systems algebraic-data-types

Kotlin and discriminated unions (sum types)

kotlin algebraic-data-types discriminated-union

Haskell's algebraic data types

haskell types functional-programming algebraic-data-types data-structures

What is the DataKinds extension of Haskell?

haskell types algebraic-data-types data-kinds

How do you represent a graph in Haskell?

haskell types graph functional-programming algebraic-data-types

Memory footprint of Haskell data types

haskell memory-management ghc algebraic-data-types

How can I see the full expanded contract of a Typescript type?

typescript visual-studio-code algebraic-data-types

Comparing values by their constructors

haskell algebraic-data-types

Abusing the algebra of algebraic data types - why does this work?

haskell functional-programming algebraic-data-types miranda