Why I gave up on static typesblog.mathgladiator.com1 point·mathgladiator··1 commentOpen articleSaveView on HN