Make invalid states unrepresentable: the untaught revelation
How much power can you derive from a good type system? Let's use Rust to illustrate a concept I never once heard in college, but has been invaluable to me throughout my software development career:
"Make invalid states unrepresentable."
You may have seen this statement on Haskell forums, etc. but if you're not familiar with Haskell or other languages with similarly expressive type systems, it might not seem feasible to encode much or complex structure into your types.
This video is a short discussion and overview of some of the ideas underlying that mantra. I hope you find it useful!
Additional resources:
https://fsharpforfunandprofit.com/pos...
https://blog.janestreet.com/effective...
https://khalilstemmler.com/articles/t...
https://hugotunius.se/2020/05/16/maki...
https://oleb.net/blog/2018/03/making-...
• CppCon 2016: Ben Deane “Using Types E...
The style of this video was inspired somewhat by @CodeAesthetic and @NoBoilerplate , both excellent channels I would highly recommend you peruse.
I also publish articles on my website: https://geeklaunch.io/
Follow GeekLaunch on Twitter: / geek_launch
Follow Jacob on Twitter: / sudo_build
Not a geek? Start today!
![Gangsta's paradise - SX18 Eden: Bounty - Gate 6 lvl entrance - 670 UaO vs 579 goW [Rise of castles]](https://images.videosashka.com/watch/nBwtVbFucj8)
