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
-
-
6/ As other PL techniques get faster, new possibilities will open up for interactive tools... For example,
@webyrd is building an IDE with live program synthesis built in. Autocomplete on mega steroids
https://github.com/webyrd/Barliman Prikaži ovu nit -
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
Prikaži ovu nit -
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 nit
Kraj razgovora
Novi razgovor -
Č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.

