3 ms·
Not co-pilot, but dependent types on steroids. Multi-dimensional dependent types to be more precise. https://www.youtube.com/watch?v=3iKwq9iRHWk https://www.you
by reinman 4y ago
Not co-pilot, but dependent types on steroids. Multi-dimensional dependent types to be more precise.
https://www.youtube.com/watch?v=3iKwq9iRHWk https://www.youtube.com/watch?v=3iKwq9iRHWk
But that's why I boiled things down to Minecraft style crafting. Mainstream programmers don't have time to learn category theory or dependent type theory etc. ... or even care.
The Lambda Conference stuff caters to a small group of programmers that are already happy with FP etc. for whatever they are doing (usually program verification, not mainstream coding)
There is a notion of "categorical thinking" where you try to free your brain from the urge to compartmentalize. Imagine the smartphone example