Anyone know of a good video or talk which makes the opposite argument? …that a type system is a good idea and can help us write apps?
Yaron Minsky, "Effective ML" https://www.youtube.com/watch?v=-J8YyfrSwTk … (focused on "effective" software/programming; on bespoke, contra situated, software).
-
-
Interesting looks relevant to Rich Hickey’s criticism of type systems - thx again!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.