41554 blogs · 4,417,066 posts Claim your blog

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

Names are not type safety

Alexis King · published 1 November 2020

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

6blogs citing

First cited: 25 Nov 2020
Most recent: 21 Feb 2026
Rank this month: not ranked
Links from this post: 1
Words captured: 5,231

Cited by

Blog

In the post

Date

harudagondi.space

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

21 Feb 2026

jkaye2012.github.io

Refined: simple refinement types for Rust Read at the source ↗

7 Feb 2025

totallygamerjet.hashnode.dev

Go Parse, Don't Validate Read at the source ↗

18 Aug 2024

Haskell for all

Ergonomic newtypes for Haskell strings and numbers Read at the source ↗

3 Apr 2023

Chris Done's Homepage

Is it Try.do that is dangerous? Read at the source ↗

24 Dec 2020

neilmadden.blog

Parse, don’t type-check Read at the source ↗

25 Nov 2020

Links from this post

Link

Host

https://tech.freckle.com/2020/10/26/tagged-is-not-a-newtype/

tech.freckle.com