3 ms·

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 si

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/docs/Control-Monad-Validate.html https://hackage.haskell.org/package/monad-validate-1.3.0.0/d... [1]: https://fsharpforfunandprofit.com/ https://fsharpforfunandprofit.com/

WorldMaker 2y ago
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.