We need talks on type theory for non-academics. With actual citations/evidence for what % bugs type systems prevent, or dev time they save
-
-
@danluu@DanielleSucher tldr: for code that doesn't use any of Python's dynamic features, static types might fix a few trivial bugs. -
@NovalisDMT@DanielleSucher Started reading the literature on this. There are a lot of papers, but few generalizable conclusions.
End of conversation
New conversation -
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.