|
|
|
|
|
by bern4444
330 days ago
|
|
This seems like a conclusion derived from the ideas in parse don't validate[1]. The goal is to encode the information you learn while parsing your data into your type system. This unlocks so many capabilities: better error handling, making illegal states unrepresentable, better compiler checking, better autocompletion etc. [1]https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va... |
|