[darkest_ruby]

Fp-ts and io-ts, best examples of what functional programming along with strict type safety can achieve. The source code is a pleasure to read and explore

[chrischen]

The author also writes some great articles on category theory that is approachable to TS developers.