Tbh I don’t think what specific foundation you use for math matters all that much, so I was mostly bikeshedding in that comment. 99% of things in math are agnostic to foundations. Even Zorn’s lemma can be reformulated in type theory. Really, the only thing you’d need to learn the axioms of set theory for is mathematical logic. Also, I don’t think type theory is inherently more advanced than set theory, it’s just historical happenstance that we teach set theory.
You’ll also be delighted to learn that I think that, in general, it’s better to learn a “close to the metal” language like C at the same time you learn a lambda calculus/type theory-based language like Haskell at the earliest :3 (although the best first language is something multiparadigm like Scheme or Pyret).
Tbh I don’t think what specific foundation you use for math matters all that much, so I was mostly bikeshedding in that comment. 99% of things in math are agnostic to foundations. Even Zorn’s lemma can be reformulated in type theory. Really, the only thing you’d need to learn the axioms of set theory for is mathematical logic. Also, I don’t think type theory is inherently more advanced than set theory, it’s just historical happenstance that we teach set theory.
You’ll also be delighted to learn that I think that, in general, it’s better to learn a “close to the metal” language like C at the same time you learn a lambda calculus/type theory-based language like Haskell at the earliest :3 (although the best first language is something multiparadigm like Scheme or Pyret).