We need talks on type theory for non-academics. With actual citations/evidence for what % bugs type systems prevent, or dev time they save
-
-
Replying to @DanielleSucher
@DanielleSucher Ok, finally wrote this up: http://danluu.com/empirical-pl/1 reply 3 retweets 0 likes
Replying to @DanielleSucher
@DanielleSucher It's actually pretty boring! The evidence is really weak! Although, weak evidence is perhaps evidence against strong effects
8:48 AM - 7 Nov 2014
0 replies
0 retweets
2 likes
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.