Thanks for these posts. I've just started working through them, but great so far.
I became curious recently if some concept of homogenous sets should be serving foundation for applied mathematics, and that's lead me to a deeper curiousity about type theory. Types are already been a core concept in programming and databases for decades. Working on sympy, it was distressing how much work had to go on under the hood to make sure objects were really of right type to do a calculation, and how dis-organized, bug-prone, and inefficient this becam... (read more)
Thanks for these posts. I've just started working through them, but great so far.
I became curious recently if some concept of homogenous sets should be serving foundation for applied mathematics, and that's lead me to a deeper curiousity about type theory. Types are already been a core concept in programming and databases for decades. Working on
sympy, it was distressing how much work had to go on under the hood to make sure objects were really of right type to do a calculation, and how dis-organized, bug-prone, and inefficient this becam... (read more)