This RFC proposes a library of point-free functional combinators in TypeScript that leverage native TypeScript types. By reinterpreting existing types (null, undefined, never, arrays, etc.) in a functional context, we can build a lightweight, non-intrusive API that integrates seamlessly with existing TypeScript codebases.
A Maybe
type in ts-combinators
is a regular TypeScript type, such as: Number, String, Boolean etc that is defined as follows:
type Empty = null | undefined | void | never;