Comment by hilux
3 days ago
I am no Terry Tao, but I do have a degree in mathematics. Other than possibly in a class on numerical analysis, I don't remember anything resembling types.
We definitely spent more time discussing different kinds of infinity than we did discussing rounding error!
I can believe that the situation might be different in "applied mathematics" or definitely in "engineering mathematics" - but at least at Berkeley, the latter degree is in the College of Engineering, not under the Math Department at all.
There is a lot of math never taught. types in math are mostly a dead end and so rarely taught - particularly since computer science moved to a seperate department. Even before then it was mostly applied math.