Viewing profile — kfixjviv

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 …

"Everyone who has ever written a computer program has used one." Absolutely false.

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 …

By the way, "throwing the rigid definition away" would be completely missing the point. The rigid definition is the essence of monads.

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…

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 implementat…

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…

"Multiply connected" is the topological term used in the English-language literature on mazes.

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 …

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…

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/technolog…

See also: https://www.hedonisticlearning.com/posts/understanding-typin...