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!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.