3 ms·

You’re in luck. I prepared an entire thread on this subject, as someone who was forced to learn it by necessity rather than by choice. https://twitter.com/thesh

You’re in luck. I prepared an entire thread on this subject, as someone who was forced to learn it by necessity rather than by choice. https://twitter.com/theshawwn/status/1490237220950876161?s=21 https://twitter.com/theshawwn/status/1490237220950876161?s=2... I’ll come out and say it though: Haskell is a cult. It’s best to smile and nod when you’re around the believers. They’re harmless. Ditto for rust. It is truly astonishing how much code a determined team of haskellers can produce. I’ve been porting a codebase, line by line, to python. I’m up to 15 thousand lines. Had to do it without being able to run the program too. There are lots of benefits. (Ditto for being in a cult.) It’s worth knowing what they are, since they are powerful. But (hello cult) there are plenty of negatives; monads are the Aristotle philosophy equivalent of programming. Take care not to study them too closely.

IceDane 5y ago
Wow. A whole 15 thousand lines of code, you say? Golly, that is just astonishing. What does the lines of code have to do with Haskell? Specifically, why did you feel this was important information? What you wrote is almost a non sequitur. That Haskell programmers are efficient and the fact that your port of a Haskell code base to python has reached 15KLOC are two completely orthogonal pieces of information. You probably didn't have to do it without running the program.
- hactually 5y ago
  [ smiles and nods ]
deterministic 5y ago
> monads are the Aristotle philosophy equivalent of programming. Take care not to study them too closely. Monads is just a pattern for composing functions that can’t be composed using “normal” function composition (because of incompatible types). That’s all it is. I never understood the fetishisation/worship of monads in the Haskell community.
- karmakurtisaani 5y ago
  That's a nice way to put it. I guess the fetishisation comes from the fact that being able to do arbitrary function compositions coincides with a fundamental mathematical structure, even if the impact on code productivity is questionable.
dboreham 5y ago
Dang. I'm pretty deep into Rust (working on a very large production codebase) and was hoping it was real. The book even says, in the section on Async, that Async is a cult and you should avoid it. My people!

IceDane 5y ago

Wow. A whole 15 thousand lines of code, you say? Golly, that is just astonishing. What does the lines of code have to do with Haskell? Specifically, why did you feel this was important information? What you wrote is almost a non sequitur. That Haskell programmers are efficient and the fact that your port of a Haskell code base to python has reached 15KLOC are two completely orthogonal pieces of information. You probably didn't have to do it without running the program.

hactually 5y ago
[ smiles and nods ]

deterministic 5y ago

> monads are the Aristotle philosophy equivalent of programming. Take care not to study them too closely. Monads is just a pattern for composing functions that can’t be composed using “normal” function composition (because of incompatible types). That’s all it is. I never understood the fetishisation/worship of monads in the Haskell community.

karmakurtisaani 5y ago
That's a nice way to put it. I guess the fetishisation comes from the fact that being able to do arbitrary function compositions coincides with a fundamental mathematical structure, even if the impact on code productivity is questionable.

dboreham 5y ago

Dang. I'm pretty deep into Rust (working on a very large production codebase) and was hoping it was real. The book even says, in the section on Async, that Async is a cult and you should avoid it. My people!