corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08733-074b-73e5-bbee-4b23914057b5

Make Invalid States Unrepresentable

awwsmm.com · published 1 February 2024

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 awwsmm.com Wayback capture
1blogs citing
First cited
19 May 2026
Most recent
19 May 2026
Rank this month
not ranked
Links from this post
12
Words captured
3,586

Cited by

Blog
In the post
Date
Haskell for all
Type out the code Read at the source ↗
19 May 2026

Links from this post

Link
Host
https://en.wiktionary.org/wiki/stringly-typed
en.wiktionary.org
https://www.martinfowler.com/ieeeSoftware/failFast.pdf
martinfowler.com
https://www.cs.rice.edu/~javaplt/411/23-spring/NewReadings/functional_programming_on_Wall_Street.pdf
cs.rice.edu
https://en.wikipedia.org/wiki/Beverly_Hills,_California
en.wikipedia.org
https://fasterthanli.me/articles/i-want-off-mr-golangs-wild-ride
fasterthanli.me
https://martinfowler.com/bliki/Yagni.html
martinfowler.com
Premature generalization Read at the source ↗
codewithjason.com
https://doc.rust-lang.org/rust-by-example/generics/new_types.html
doc.rust-lang.org
https://wiki.haskell.org/Newtype
wiki.haskell.org
https://medium.com/iterators/to-tag-a-type-88dc344bb66c
medium.com
https://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg01233.html
seas.upenn.edu
https://www150.statcan.gc.ca/n1/pub/92-153-g/2011002/tech-eng.htm
www150.statcan.gc.ca