Linking pages
Linked pages
- Parse, don’t validate https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 1059 comments
- Making Illegal States Unrepresentable | Corrode Rust Consulting https://corrode.dev/blog/illegal-state/ 71 comments
- Designing with types: Making illegal states unrepresentable | F# for fun and profit https://fsharpforfunandprofit.com/posts/designing-with-types-making-illegal-states-unrepresentable/ 22 comments
- http://alloytools.org/ 21 comments
- Constructive vs Predicative Data • Hillel Wayne https://www.hillelwayne.com/post/constructive/ 15 comments
- Specification Refinement • Hillel Wayne https://www.hillelwayne.com/post/refinement/ 0 comments
- The World and the Machine https://www.hillelwayne.com/post/world-vs-machine/ 0 comments
Related searches:
Search whole site: site:hillelwayne.com
Search title: Don't let Alloy facts make your specs a fiction
See how to search.