kfixjviv

5 ms·

1.
by kfixjviv 3y ago
I don't think making this claim is helpful. Monads aren't found everywhere in code. Solving a problem which could be solved by monads doesn't automatically lead to code that works in a monad-like way, not in any meaningful se
2.
by kfixjviv 3y ago
"Everyone who has ever written a computer program has used one." Absolutely false.
3.
by kfixjviv 3y ago
You are going to be disappointed. What on earth makes you convinced that a monad can be implemented in Excel? You don't understand what a monad is, so you can't know whether Excel is "perfectly capable" of it or not. R
4.
by kfixjviv 3y ago
By the way, "throwing the rigid definition away" would be completely missing the point. The rigid definition is the essence of monads.
5.
by kfixjviv 3y ago
Each Raspberry Pi could perform a function that was notionally passed to the monadic bind operator, but really a monad is the rules under which the Raspberry Pis would be connected. From Wadler's paper "The Essence of Functional P
6.
by kfixjviv 3y ago
The main reason that monads are restricted to fancy languages like Haskell is that the type system has to support their definition. There are some examples of attempted implementations the list monad in other languages on RosettaCode https
7.
by kfixjviv 3y ago
Haskell's sequence is not the same as strength. Strength specifically involves pairs. Nobody seems to know where "strength" got its opaque name from. Like, nobody, not even the guy who first published the term. There is anoth
8.
by kfixjviv 3y ago
"Multiply connected" is the topological term used in the English-language literature on mazes.
9.
by kfixjviv 3y ago
They are referred to as "multiply connected" in the literature on mazes. Essentially, this is the mathematical way of saying that there are "islands" of hedge, not attached to the perimeter.
10.
by kfixjviv 3y ago
Previously: "[Pike is] hardly the first hard-core hacker to be ignorant of the degree to which type theory has seen dramatic advances since the 1980s." It's a comment on this quote from Pike: https://news.ycombinat
11.
by kfixjviv 3y ago
In geology, there's a literature about cable breaks caused by "turbidity currents". In particular, this 1952 paper by Heezen and Ewing is celebrated https://gwern.net/doc/technology/1952-heezen.pdf
12.
by kfixjviv 3y ago
See also: https://www.hedonisticlearning.com/posts/understanding-typin...