![](\"./docs/fp-ts-logo.png\"){kind=logo}
\n \n\n \n\nFunctional programming in TypeScript\n
\n\n\n\n**???? Important Announcement: fp-ts is Joining the Effect-TS Ecosystem!**\n\nWe are excited to announce that the `fp-ts` project is officially merging with the Effect-TS ecosystem. This is a significant step forward in the functional programming landscape, bringing together two powerful libraries under one roof. Giulio Canti, the author of `fp-ts`, is being welcomed into the Effect organization, promising an exciting future with enhanced capabilities and support.\n\n**What This Means for New Users:**\n\nEffect-TS can be regarded as the successor to `fp-ts v2` and embodies what would be considered `fp-ts v3`. This merger marks a significant evolution in the library's capabilities, integrating more features and functionalities tailored towards robust, type-safe, and scalable functional programming.\n\nFor more details on this merger and what it entails, please refer to the official [announcement here](https://dev.to/effect/a-bright-future-for-effect-455m). Additionally, you can explore more about Effect-TS and its offerings on our [website and documentation](https://effect.website/).\n\n# Introduction\n\n`fp-ts` is a library for _typed functional programming_ in TypeScript.\n\n`fp-ts` aims to allow developers to use _popular patterns and abstractions_ that are available in most functional languages. For this, it includes the most popular data types, type classes and abstractions such as [Option](https://gcanti.github.io/fp-ts/modules/Option.ts), [Either](https://gcanti.github.io/fp-ts/modules/Either.ts), [IO](https://gcanti.github.io/fp-ts/modules/IO.ts), [Task](https://gcanti.github.io/fp-ts/modules/Task.ts), [Functor](https://gcanti.github.io/fp-ts/modules/Functor.ts), [Applicative](https://gcanti.github.io/fp-ts/modules/Applicative.ts), [Monad](https://gcanti.github.io/fp-ts/modules/Monad.ts) to empower users to write pure FP apps and libraries built atop higher order abstractions.\n\nA distinctive feature of `fp-ts` with respect to other functional libraries is its implementation of [Higher Kinded Types](\n \n ![\"Unsplash\"](\"https://avatars.githubusercontent.com/u/9951955?s=200&v=4\") \n \n \n Unsplash\n \n https://unsplash.com/\n \n \n The internet’s source for visuals. | \n
![\"build](\"https://github.com/gcanti/fp-ts/actions/workflows/main.yml/badge.svg?branch=master\"){kind=icon}
\n ![\"npm](\"https://img.shields.io/npm/dm/fp-ts.svg\")
\n