So there's a trend I've been noticing among the coding community: the intense mathematizing of programming activities.
-
-
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 -
-
-
The Hahn-Banach Theorem. The Sylow Theorems. Many, many others. These are some of the most important results in their respective fields.
-
Hahn-Banach in particular lets us construct linear functionals on a vector subspace from practically nothing! This is huge!
-
But I digress. The point is, important results in math often come from taking a powerful idea and pulling it back onto specific constructs.
-
Math is not always about "abstract abstract abstract". What that leads to is Category Theory. And oh boy, does FP love it some Cat. Theory.
-
But Category Theory is like actually really hard to understand and is so general that it's hard to wrangle it into constructive results.
-
Often times, what you have to do is find patterns that work, then pull them back onto more specific spaces to establish results.
-
Programming needs to do that, too. But often times all that work really just leads us back to where we started anyways.
-
Or we find that we do a whole lot of abstraction work to get not a whole lot that's new. No new problems get solved that weren't solvable b4
- 3 more replies
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.