Record · corpus.blog/posts/01a096ee-4816-720f-a5ed-717edc85ef45

Inexpressible States: The History and Usage of Algebraic Data Types

makonea.com · published 12 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at makonea.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 29
Words captured: 10,511

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://academic.oup.com/comjnl/article/12/1/41/311605

academic.oup.com

https://ora.ox.ac.uk/objects/uuid:d583a134-8e53-42e4-8508-6bb1111a81e2

ora.ox.ac.uk

https://www.sciencedirect.com/science/article/pii/0022000078900144

sciencedirect.com

https://doi.org/10.1145/800087.802799

doi.org

https://www.cs.kent.ac.uk/people/staff/dat/miranda/nancy.html

cs.kent.ac.uk

https://www.nokia.com/bell-labs/about/dennis-m-ritchie/chist.html

nokia.com

https://mail.haskell.org/pipermail/beginners/2009-January/000742.html

mail.haskell.org

Parse, don’t validate Read at the source ↗

lexi-lambda.github.io

http://archive.adaic.com/standards/83rat/html/ratl-04-07.html

archive.adaic.com

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-1-4.html

typescriptlang.org

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-0.html

typescriptlang.org

https://openjdk.org/jeps/409

openjdk.org

https://openjdk.org/jeps/440

openjdk.org

https://openjdk.org/jeps/441

openjdk.org

https://docs.oracle.com/en/java/javase/26/docs/api/java.base/java/lang/MatchException.html

docs.oracle.com

https://go.dev/doc/effective_go

go.dev

https://docs.python.org/3/library/typing.html

docs.python.org

https://doc.rust-lang.org/std/ptr/struct.NonNull.html

doc.rust-lang.org

https://ocaml.org/manual/5.5/polyvariant.html

ocaml.org

https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/builtin-types/union

learn.microsoft.com

https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-15

learn.microsoft.com

Explore new features available in C# 15 preview Read at the source ↗

devblogs.microsoft.com

https://docs.unity3d.com/Packages/com.unity.entities@1.0/manual/concepts-archetypes.html

docs.unity3d.com

https://docs.unity3d.com/Packages/com.unity.entities@1.0/manual/components-tag.html

docs.unity3d.com

A Very Early History of Algebraic Data Types Read at the source ↗

hillelwayne.com

Where does the name "algebraic data type" come from? Read at the source ↗

blog.poisson.chat

https://www.cs.cornell.edu/courses/cs6110/2015sp/docs/McCarthy-Basis-for-Math-Theory-of-Computation.pdf

cs.cornell.edu

https://dl.acm.org/doi/10.1145/1460690.1460715

dl.acm.org

https://link.springer.com/book/10.1007/978-3-540-37500-5

link.springer.com