monad

C# 純函式程式設計框架─ 來取得宣告式編程吧！

🦄 以 Go 1.18+ 泛型（Option、Result、Either…）為基礎的 Monad 與流行 FP 抽象

🦋 符合 Fantasy Land 規範的 Promises（單子/monadic）替代方案

Go 1.24+ 的函數式程式設計庫，受 fp-ts 啟發。使用泛型型別別名以提供簡潔、可組合的 API。提供 Option、Either、Result、IO、IOResult、Reader 與 ReaderIOResult 單子，以及用於不可變資料操作的光學元件（Lens、Prism、Traversal）。支援 Functor、Applicative 與 Monad 抽象及 do 標記法風格

TypeScript 的函數式程式設計函式庫 - https://gigobyte.github.io/purify/

Rust 函數式程式設計函式庫

用於模擬成功或失敗操作的多平台 Result monad。

🔧 適用於 TypeScript 的快速、現代且實用的 FP 工具函式庫。

JS 中功能最強大的 IO monad 實作，可能也是所有語言中最強大的！

終極樣板工廠 Lambda：FP、Haskell、Typeclassopedia 與軟體設計模式

適用於 idiomatic Ruby 的實用常見 monad

在 Coq 中進行個人研究與實務工作的範疇論（Category Theory）無公理形式化

Cats 的 Eff monad - https://atnos-org.github.io/eff