tag:blogger.com,1999:blog-6454006.post6896892650704126614..comments2017-08-04T06:23:48.117+00:00Comments on Arcane Sentiment: Purely algebraic abstractionsArcane Sentimenthttp://www.blogger.com/profile/04144052171693893368noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-6454006.post-42814942657877434032017-06-30T00:37:51.818+00:002017-06-30T00:37:51.818+00:00Are you sticking with such low level concepts as d...Are you sticking with such low level concepts as division rings to pander to the hacking instincts of programmers? Obviously a properly grounded mathematical framing in terms of homology theory, topos, and Grothendeik primes would be far more rigorous. If we treat e.g. Haskell maps as frictionless points in co-functor generalizations of Jordon-Holder, we could put the whole enterprise of programming on a solid footing.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6454006.post-69703064707468256092017-06-18T15:23:28.366+00:002017-06-18T15:23:28.366+00:00The correct term for communicating purely algebrai...The correct term for communicating purely algebraic abstractions like monads to software people (rather than maths people) isn't abstraction; it's design pattern. That gets people into the right frame of mind, away from specific applications, and out into meta talk about the shape of a design. The fact that design patterns have cropped up in two different guises in different approaches to computation suggests that there's something there, and that it's probably worth formalizing.Barry Kellyhttps://www.blogger.com/profile/10559947643606684495noreply@blogger.com