- making illegal states unrepresentable with types https://fsharpforfunandprofit.com/posts/designing-with-types-making-illegal-states-unrepresentable/ 22 comments fsharp
Linking pages
- Functional programming self-affirmations - NorikiTech https://norikitech.com/posts/functional-affirmations/ 139 comments
- Make invalid states unrepresentable - GeekLaunch https://geeklaunch.io/blog/make-invalid-states-unrepresentable/ 105 comments
- Modelling Workflows With Finite State Machines in .NET - Lloyd Atkinson https://www.lloydatkinson.net/posts/2022/modelling-workflows-with-finite-state-machines-in-dotnet/ 38 comments
- Constructive vs Predicative Data https://www.hillelwayne.com/post/constructive/ 15 comments
- How Do Software Projects End? https://danielbmarkham.com/how-do-software-projects-end/ 11 comments
- Elegant Library APIs in Rust - Pascal’s Scribbles https://scribbles.pascalhertleif.de/elegant-apis-in-rust.html 5 comments
- The Trouble with TypeScript - DEV Community 👩💻👨💻 https://dev.to/ryansolid/the-trouble-with-typescript-4fpp 3 comments
- Wesley Aptekar-Cassels | A Conversation on FRP, Databases, and Types https://blog.wesleyac.com/posts/frp-databases-types 2 comments
- Don't let Alloy facts make your specs a fiction https://www.hillelwayne.com/post/alloy-facts/ 1 comment
- Making Impossible States Impossible in ReasonML · GitHub https://gist.github.com/busypeoples/ab2f993843f23614232a1f8500a4b542 0 comments
- Better domain modeling in Elixir with sum types https://thoughtbot.com/blog/better-domain-modeling-in-elixir-with-sum-types 0 comments
- Modelling domain with state machines in ReasonML - DEV Community 👩💻👨💻 https://dev.to/margaretkrutikova/modelling-domain-with-state-machines-in-reasonml-n29 0 comments
- Falling into the Pit of Functional Success with Jimmy Burrell - Three Devs and a Maybe http://threedevsandamaybe.com/falling-into-the-pit-of-functional-success-with-jimmy-burrell/ 0 comments
- From F# to Scala - case class/object (ADTs) | theburningmonk.com http://theburningmonk.com/2017/01/from-f-to-scala-case-class-and-case-object/ 0 comments
- Making Illegal States Unrepresentable—In TypeScript — Sympolymathesy, by Chris Krycho https://v5.chriskrycho.com/journal/making-illegal-states-unrepresentable-in-ts/ 0 comments
- The World and the Machine https://www.hillelwayne.com/post/world-vs-machine/ 0 comments
Linked pages
Related searches:
Search whole site: site:fsharpforfunandprofit.com
Search title: Designing with types: Making illegal states unrepresentable | F# for fun and profit
See how to search.