1/ One of the most interesting insights from taking a program analysis class: I used to think type systems were just a way to restrict the values of variables... But you can also view them as a super-lightweight formal proof system! That can check many useful properties
7/ Of course, speed is necessary, not sufficient. Wrangling terrible compiler errors still sucks even if they're fast. But with thoughtful design, it seems like types and other lightweight formal methods have a key role to play in the future of programming environments
-
-
8/8 I still have a lot to learn about types and formal methods, so I'm curious to hear thoughts on all this, or pointers to related ideas/readings!
Prikaži ovu nitHvala. 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.


