> Math B seems, in contrast, beyond me. There is a programming analogy: Math B is like Haskell, or pure functional programming, which also is as ungraspable to

> Math B seems, in contrast, beyond me. There is a programming analogy: Math B is like Haskell, or pure functional programming, which also is as ungraspable to me. This is not just an analogy – Haskell (or pure functional programming in general) is a lot closer to math than other ways of programming. Specifically, it is derived from category theory (which fits to your description of math B being things ending in "theory" as well).