So there's a trend I've been noticing among the coding community: the intense mathematizing of programming activities.
-
-
Replying to @EmilyGorcenski
This isn't just "oh, CS and math are interrelated." No, it's about attempting to shoehorn mathematical ideas into coding practice.
2 replies 0 retweets 1 like -
Replying to @EmilyGorcenski
This happened with the OO community and it's happening in FP, too. The focus is generally on abstraction of ideas.
1 reply 0 retweets 1 like -
Replying to @EmilyGorcenski
Abstraction is really powerful and can be a great tool. Abstraction lets us solve more general problems instead of specific ones.
1 reply 1 retweet 0 likes -
Replying to @EmilyGorcenski
And when you first learn advanced math, abstraction becomes a powerful notion. Working in ℂ instead of ℝ, working in arbitrary vector spaces
2 replies 0 retweets 1 like -
Replying to @EmilyGorcenski
But some of the most important theorems in math are about contracting larger spaces with weak structures onto smaller ones more meaningfully
1 reply 0 retweets 0 likes
Whoops, this post should be threaded in, too
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.