luftibus

↗ HN profile [ 71.3 ms ] full profile

Karma: 1
Created: June 7, 2022 (4y ago)
Submissions: 0

Science student turned functional programmer. I like Haskell, Scala, the Lean theorem prover and TLA+.

I recently wrote an explanation aimed at Scala developers, so if the syntax is not an obstacle this may help: https://upsolver.engineering/posts/monads-are-not-that-compl... In short: Functors (a tightly related…

4y ago · view thread · ↗