I wonder how much of making invalid states unrepresentable is really future-proofing?
Show this thread
-
This Tweet is unavailable.
-
You kind of want to eliminate all of the ambiguity and uncertainty, right?
I do, up to the point of, "what I know now", then quickly and reliably adapt when I learn new information i.e. requirements change. This requires a sufficiently capable type system, of course.
