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.