Post

it's so strange how like at least 60% of the time when someone makes a claim about "making invalid states unrepresentable", what they actually mean is using a representation with many perfectly representable invalid states that are just hidden behind an abstract type and a smart constructor

Alice ✨

@welltypedwit.ch

like, abstract types are good. smart constructors are good, sure. but that's just not what that phrase is about... at all

6/10/26, 2:18 am0 reposts19 likes

Maynard

@quelklef.bsky.social

me when i make invalid states unrepresentable by making my constructor 'throw' if the arguments are invalid