Sublime
An inspiration engine for ideas
If you're a fan of @worrydream's Inventing on Principle, check out Seymour, a live programming environment I made with @sakekasi.
https://t.co/bNh16RukUr https://t.co/thJGcV73RQ
Type theory concepts and how important they're for a practical programming language.
Absolutely useless:
- Curry-Howard correspondence
- Decidability of type inference
- Decidability of type checking [1]
- Principality of typing
-... See more
effectfullyx.comshai @_shaipatel
instagram.com
So, I partially agree and disagree with @Jonathan_Blow here.
Category Theory is quite abstract, and it’s not obvious how to make it practical for a newcomer.
However, when you do make it practical, is the best way to program.
That’s why I’m writing my “Pragmatic... See more
Dmitrii Kovanikovx.com