In a maximally earnest way — to what degree should we be sure these language harms are real on net? Are there data as opposed to anecdata? (Of course many phenomena are real without data; we can just be more confident in cases with data)
Lillian’s blog is extremely good in general & if it’s new to you I suggest checking out the other posts also. I particularly enjoyed the one on human data.
A) The type system is fairly bad, as type systems go (forgivable)
B) the type checkers are, for large codebases, excruciatingly slow, to the point that the tests are faster!!