Hacker News new | ask | show | jobs
by agentultra 524 days ago
Is TST essentially the validation monad[0]?

Glad to see more folks finding and appreciating FP languages like F#. It's good stuff. Scott Wlachin has a great site to discover more F# goodness[1].

[0]: https://hackage.haskell.org/package/monad-validate-1.3.0.0/d...

[1]: https://fsharpforfunandprofit.com/

1 comments

It seems a step on the path to learning both the Either Monad and the Validation Monad, especially for someone coming from golang which desperately needs a proper Either Monad and essentially has baked in the worst of both imperative and FP worlds in the way everything returns as if there were an Either Monad but not enough useful combinators nor a semblance of do-notation/Computation Expressions exist.

Which is fun to see, really, because it is interesting watching someone rediscover FP principles from first practice.