This isn't just "oh, CS and math are interrelated." No, it's about attempting to shoehorn mathematical ideas into coding practice.
-
-
-
This happened with the OO community and it's happening in FP, too. The focus is generally on abstraction of ideas.
-
Abstraction is really powerful and can be a great tool. Abstraction lets us solve more general problems instead of specific ones.
-
And when you first learn advanced math, abstraction becomes a powerful notion. Working in ℂ instead of ℝ, working in arbitrary vector spaces
-
But some of the most important theorems in math are about contracting larger spaces with weak structures onto smaller ones more meaningfully
-
Whoops, this post should be threaded in, too
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.