- effect-ts - A Fully-fledged functional effect system for typescript with a rich standard library
- fp-ts - Functional programming in TypeScript
Roughly said, dependent types are types which depend on values.
- Dependent Types in Typescript by Javier Casas
- Dependent Types in TypeScript, Seriously by Hackle Wayne
A combination of 3 monads which provide Dependency injection, Safe error management when handling synchronous or asynchronous computations.
- The Effect Data Types: Effect by Michael Arnaldi
- TypeScript + fp-ts: ReaderTaskEither Foundations by Andy White
- TypeScript + fp-ts: ReaderTaskEither and React by Andy White
People at the intersection of TypeScript & FunctionalProgramming