Record · corpus.blog/posts/01a07df3-db9d-728e-a14d-4a2b6249a9b7

Parse, don’t validate

Alexis King · published 5 November 2019

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 lexi-lambda.github.io Wayback capture

98blogs citing

First cited: 20 Mar 2019
Most recent: 14 Sept 2026
Rank this month: not ranked
Links from this post: 12
Words captured: 5,519

Cited by

Blog

In the post

Date

michaeluloth.com

What is a type system for? Read at the source ↗

14 Sept 2026

makonea.com

Inexpressible States: The History and Usage of Algebraic Data Types Read at the source ↗

12 Sept 2026

hashset.dev

Hashset Read at the source ↗

7 Sept 2026

alexrios.me

Boolean flags and states that should not exist Read at the source ↗

7 Sept 2026

alexrios.me

Flags booleanas e estados que não deveriam existir Read at the source ↗

7 Sept 2026

kenwalger.com

Can Rust Make Unsafe AI Agent Actions Unrepresentable? Read at the source ↗

6 Sept 2026

Hello from Dmytro Zharii | Dmytro Zharii

Links from my inbox 2026-08-14 Read at the source ↗

15 Aug 2026

rdiachenko.com

Parse, Don't Validate, in Rust Read at the source ↗

6 Aug 2026

owenlynch.org

Hypertext Documents Read at the source ↗

2 Aug 2026

guidefari.com

Parse, don't validate Read at the source ↗

25 Jul 2026

guidefari.com

Invariants Read at the source ↗

24 Jul 2026

pyjarrett.github.io

Software and AI - Plotting vs. Pantsing Read at the source ↗

18 Jul 2026

modulovalue.com

Proof types in Dart: Using final classes as computational witnesses Read at the source ↗

16 Jul 2026

gaevoy.com

Evolving a Frontend Schema with Upcasting Read at the source ↗

14 Jul 2026

thytu.com

Harness Engineering 101 Read at the source ↗

7 Jul 2026

jayfreestone.com

You might not need… the always-valid entity Read at the source ↗

5 Jul 2026

evanrelf.com

Links – Evan Relf Read at the source ↗

20 Jun 2026

Ankur Sethi's Lab Notebook

So you want to write a GUI framework Read at the source ↗

11 Jun 2026

zernie.com

Passed every test. Still took down prod. Read at the source ↗

5 Jun 2026

journal.infinitenegativeutility.com

The Gang of Four, Their Software Patterned Read at the source ↗

13 May 2026

cekrem.github.io

Canonicalise, Don't Remember — Smart Constructors in Kotlin Read at the source ↗

12 May 2026

oedokumaci.com

Pydantic Isn't a Validation Library: Parsing in Python Read at the source ↗

30 Apr 2026

kamil.chm.ski

Your AI Coding Agents Need a Constitution Read at the source ↗

21 Apr 2026

derekrodriguez.dev

Parse, don't validate through the years with C++ Read at the source ↗

17 Apr 2026

carter.works

My favorite places on the internet Read at the source ↗

14 Apr 2026

cekrem.github.io

Parse, Don't Validate — In a Language That Doesn't Want You To Read at the source ↗

7 Apr 2026

valand.dev

Free Stuff From Dissolving and Restitching Bounds Read at the source ↗

29 Mar 2026

hashset.dev

Reflecting on deserialization. Why you should explicitly decode your JSON. Read at the source ↗

21 Mar 2026

cekrem.github.io

Why I Hope I Get to Write a Lot of F# in 2026 Read at the source ↗

9 Mar 2026

prydt.xyz

Configuration Languages Should be Strongly Typed Read at the source ↗

5 Mar 2026

harudagondi.space

Parse, don't Validate and Type-Driven Design in Rust Read at the source ↗

21 Feb 2026

OpenAI

Harness engineering: leveraging Codex in an agent-first world Read at the source ↗

11 Feb 2026

samlikes.pizza

Elements of skainswo Style Read at the source ↗

8 Feb 2026

unix.dog

some C habits I employ for the modern day Read at the source ↗

17 Jan 2026

cj.rs

Re: Short URLs Read at the source ↗

4 Jan 2026

blog.chay.dev

My bookmarks Read at the source ↗

7 Nov 2025

blobcode.net

A Reading List Read at the source ↗

20 Oct 2025

David Leadbeater

Bash a newline: Exploiting SSH via ProxyCommand, again (CVE-2025-61984) Read at the source ↗

7 Oct 2025

ericcodes.io

Gleam my new obsession Read at the source ↗

10 Sept 2025

jnkr.tech

Tradeoffs of Highly-Expressive Types Read at the source ↗

30 Aug 2025

cekrem.github.io

Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection Read at the source ↗

18 Aug 2025

marvinh.dev

Speeding up the JavaScript ecosystem - Semver Read at the source ↗

10 Aug 2025

rednegra.net

Parse, don't validate Read at the source ↗

10 Aug 2025

Hello from Dmytro Zharii | Dmytro Zharii

Links from my inbox 2025-08-04 Read at the source ↗

5 Aug 2025

carter.works

CARTER_RULES.md Read at the source ↗

4 Aug 2025

qouteall.fun

Traps to Developers Read at the source ↗

3 Aug 2025

home.expurple.me

Dear null Read at the source ↗

22 Jul 2025

emilien.ca

Note: Type-Driven Design Read at the source ↗

15 Jul 2025

blog.daniel-beskin.com

First Make It Correct Read at the source ↗

10 Jun 2025

harudagondi.space

Retrospective (Midyear 2023 – Midyear 2025) Read at the source ↗

7 Jun 2025

The newest 50 citing posts are shown, from 98 blogs in all.

Links from this post

Link

Host

https://twitter.com/lexi_lambda/status/1182242561655746560

twitter.com

https://hackage.haskell.org/package/aeson

hackage.haskell.org

https://hackage.haskell.org/package/optparse-applicative

hackage.haskell.org

https://hackage.haskell.org/package/persistent

hackage.haskell.org

https://hackage.haskell.org/package/postgresql-simple

hackage.haskell.org

https://hackage.haskell.org/package/servant

hackage.haskell.org

http://langsec.org

langsec.org

http://langsec.org/papers/langsec-cwes-secdev2016.pdf

langsec.org

https://hackage.haskell.org/package/singletons

hackage.haskell.org

Type Safety Back and Forth Read at the source ↗

parsonsmatt.org

https://kataskeue.com/gdp.pdf

kataskeue.com

https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loose.pdf

cs.ox.ac.uk