Top all-time · #6676
Chris Taylor
Personal blog · chris-taylor.github.io/blogprogrammingmath
Chris Taylor's personal blog at chris-taylor.github.io covers programming and math. Since 2013, 12 different Hacker News readers have linked it 12 times, most often “The Algebra of Algebraic Data Types”. No feed was found, so read it on the site itself.
Too few sampled comments (10) to say how often HN recommends it.?
Why HN links it
Commenters link Chris Taylor's series on the algebra of algebraic data types, covering type derivatives and zippers, plus a Dijkstra and Fibonacci heap series, to explain functional programming ideas.
Summarised by Claude from a sample of 10 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- The Algebra of Algebraic Data Types4 people · 4 mentions · first linked 2013-06-02
- /blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/2 people · 2 mentions · first linked 2013-06-03
- /blog/2013/02/09/io-is-not-a-side-effect/2 people · 2 mentions · first linked 2014-07-25
What Hacker News says?
And differentiation, which is useful for functional update of persistent data structures. https://chris-taylor.github.io/blog/2013/02/13/the-algebra-o...
Comment linking /blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/
on “Two Weeks of Rust”Submitted The Algebra of Algebraic Data Types as a story · 129 points
HN discussionI'm not sure there is any good resources for CT applied to CS. But anyway, check this out: http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of... There's alot of category theory implicit in these ideas. You can learn the abstract approach later on, after you have seen a bunch of examples.
Comment linking /blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/
on “Abstract Algebra (2016) [pdf]”Submitted The Algebra of Algebraic Data Types, Part 2 as a story · 68 points
HN discussionThis series of articles goes into more detail: http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of... . He doesn't get to derivatives until the third part, but it's all (IMO) fascinating, and the concepts of the first two are necessary to understand the calculus part.
Comment linking /blog/2013/02/10/the-algebra-of-algebraic-data-types/
on “Dijkstra’s algorithm and the Fibonacci heap”If you're like me, and you didn't immediately understand why the number of inhabitants for "a -> b" is "a^b", and needed help for the answer[1], then here's my solution to the author's question ("Why are there eight inhabitants of Tri -> Bool, but nine of Bool -> Tri? It helps to write out each possible function."). The nine inhabitants of Bool -> Tri: https://gist.github.com/acbart/5d3fdfd8d363af26a59c The eight in…
Comment linking /blog/2013/02/10/the-algebra-of-algebraic-data-types/
on “The Algebra of Algebraic data types”Take a look at this other blog post[1] with the same title, which I think does a better job of explaining the core ideas. [1]: http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of...
Comment linking /blog/2013/02/10/the-algebra-of-algebraic-data-types/
on “The Algebra of Algebraic data types”The payoff is in part 3, here, where crntaylor explains how to take the derivative(!) of a type: http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of... You can find a somewhat more mathematical explanation here, with explanations of why this is useful: http://pavpanchekha.com/blog/zippers/derivative.html The most obvious use for derivative types is the automated creation of "zipper" types for functional dat…
Comment linking /blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/
on “The Algebra of Algebraic Data Types”https://chris-taylor.github.io/blog/2013/02/10/the-algebra-o...
Comment linking /blog/2013/02/10/the-algebra-of-algebraic-data-types/
on “Sum Types Are Coming (2015)”A 'side-effecting' monad is also pure ;): http://chris-taylor.github.io/blog/2013/02/09/io-is-not-a-si...
Comment linking /blog/2013/02/09/io-is-not-a-side-effect/
on “Some Functional Programmers Are Arrogant”Swapping doesn't just work with XORs: http://chris-taylor.github.io/blog/2013/02/25/xor-trick/
Comment linking /blog/2013/02/25/xor-trick/
on “The Magic of XOR”I believe the whole fuss of monads is because they allow you to write pure functional programming while still doing I/O and similar things. http://chris-taylor.github.io/blog/2013/02/09/io-is-not-a-si...
Comment linking /blog/2013/02/09/io-is-not-a-side-effect/
on ““Mostly functional” programming does not work”
