[d0mine]

“Parse don’t validate“ seems like the same idea

https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va...

You do not need Haskell for that eg it works in Python (via pydantic, attrs data classes)

[satvikpendem]

It's more similar to "Make invalid states unrepresentable": https://news.ycombinator.com/item?id=40150159

[christophilus]

Agreed. Clojure gets this with Mali and Spec. That said, types are such a productivity boost over time that I think they should only be discarded for very good reasons.