So there's a trend I've been noticing among the coding community: the intense mathematizing of programming activities.
-
-
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 -
-
-
That's really on valid if you're building on the lower levels w/ things that actually need mathematical thinking.
-
Definitely! If you're problem is "do these mathy things all mathlike," then yes, it makes sense!
-
But if your problem is "ship this software update to an ECU over the air," maybe let's not throw that idea into an abstract space.
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.