Skip to content
corpus.blog
Sign in Claim your blog
Record · jessewarden.com

Type Driven Development: Indexed Types

jessewarden.com · 26 June 2026 · 4 min read

A post on jessewarden.com, published 26 June 2026, has not been cited by any blog yet (corpus.blog, measured 11 October 2026).

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

Read at jessewarden.com (opens in a new tab) Wayback capture (opens in a new tab)

0blogs citing

Citing blogs and links by period
Period Blogs Links
All time00
Last 90 days00
Last 30 days00
Last 7 days00
Figures for this page
Words blogs link it with0
External links0
Length916

Cited by

No blog we hold has cited this post yet.

Links from this post

This post only links within jessewarden.com.

Elsewhere on jessewarden.com (25)
Type Driven Development: Branded Types Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Product Types Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Unions and Discriminated Unions Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Non-Empty Collections Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: unknown vs any Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Result Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Schema Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Total Function Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Errors as Values Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Property Tests Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Type Proofs Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Exhaustiveness Checking Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Parse, Don’t Validate Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Anti-Corruption Layer Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Opaque Types Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Maybe Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Smart Constructors Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Pipeline Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Railway Oriented Programming Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Typestate Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Capabilities Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Immutability Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Make Impossible States Impossible Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: How to Do It Read at jessewarden.com (opens in a new tab)
jessewarden.com
Type Driven Development: Final Thoughts Read at jessewarden.com (opens in a new tab)
jessewarden.com

Similar posts

Branded Types in TypeScript: Making the Compiler Care About Meaning
schalkneethling.com
10 May 2026
Poor man's opaque types
raffaelelungarella.dev
15 May 2026
Composable Data Access with Lenses
claudiu-ivan.com
4 Jun 2026
From Stringly to Strongly Typed
eignex.com
7 May 2026
Invariants
guidefari.com
24 Jul 2026
TypeScript Type System: Advanced Type-Level Programming Guide
javacodegeeks.com
5 Jun 2026
PHPStan 2.2: Unsealed Array Shapes, Safer Array Keys, and More!
phpstan.org
28 May 2026
The Expression Problem: Why Java’s Sealed Interfaces Are One Answer, Not The Answer
javacodegeeks.com
3 Aug 2026
Algebraic Data Types and Pattern Matching, Compared
javacodegeeks.com
14 Aug 2026
"From Stringly to Strongly Typed" - refined design
bytecode.news
7 May 2026

Something wrong here? Report a problem