👋 Hi!
Learning about FP-TS can be a challenge. What even is it?
- It's an implementation of a higher-kinded type system in a language that doesn't naturally support one.
- It's a collection of "typeclasses" or "modules" which are typically shipped by languages with HKTs.
- It's a collection of helper functions which operate on the typeclasses, in adition to more generalized helpers.
It used to be pretty difficult to get started with FP-TS, but now there are some really good resources available:
- https://gcanti.github.io/fp-ts/learning-resources
- https://github.com/enricopolanski/functional-programming
- https://fp-training-app.now.sh
- https://grossbart.github.io/fp-ts-recipes
And maybe this one, eventually.
I wanted to give an introduction on Monads, within the context of FP-TS.
Check that out in /src/monad/presentation.md, as well as the other files in that folder.