monad · GitHub Topics

C# pure functional programming framework - come and get declarative!

翻译 - C＃功能语言扩展-用于功能编程的基类库

C#functional-languages monads monad-transformers immutable-collections higher-kinded-types language-ext f-sharp immutable-types monad 函数式编程 lenses records

C# 6.7 k

2 天前

samber / mo

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

cats either fp functional future generics Go io maybe monad option 编程 result state task typesafe

Go 2.84 k

4 个月前

llh911001 / mostly-adequate-guide-chinese

函数式编程指南中文版

函数式编程 curry monad

JavaScript 2.52 k

2 年前

fluture-js / Fluture

🦋 Fantasy Land compliant (monadic) alternative to Promises

fantasy-land Promise future monad async control-flow algebraic-data-types 函数式编程

JavaScript 2.49 k

1 年前

IBM / fp-go

functional programming library for golang

函数式编程 Go Library monad Utility Software

Go 1.72 k

1 个月前

functionaljava / functionaljava

Functional programming in Java

algebra algebraic-data-types effects 函数式编程 Java monad persistent-data-structure property-based-testing

Java 1.61 k

2 年前

evilsoft / crocks

A collection of well known Algebraic Data Types for your utter enjoyment.

adt composition curry monad pair

JavaScript 1.59 k

2 年前

gigobyte / purify

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

TypeScript algebraic-data-types maybe monad fantasy-land 函数式编程 either codec decode

TypeScript 1.54 k

10 天前

JasonShin / fp-core.rs

A library for functional programming in Rust

函数式编程 Rust monad category-theory lambda-calculus hkt

Rust 1.37 k

3 年前

aol / cyclops

An advanced, but easy to use, platform for writing functional applications in Java 8.

函数式编程 reactive-streams streams collections 数据结构 monad monad-transformers reactive asynchronous Java streams-api

Java 1.32 k

2 年前

witchcrafters / witchcraft

Monads and other dark magic for Elixir

Elixir monad operators algebraic-data-types algebra

Elixir 1.21 k

2 年前

mobily / ts-belt

🔧 Fast, modern, and practical utility library for FP in TypeScript.

TypeScript 函数式编程 fp monad option result array flow

TypeScript 1.14 k

9 个月前

michaelbull / kotlin-result

#IOS#A multiplatform Result monad for modelling success or failure operations.

Kotlin result monad either type class 函数式编程 functional fp iOS Java JavaScript browser Kotlin Multiplatform

Kotlin 1.11 k

3 个月前

getify / monio

The most powerful IO monad implementation in JS, possibly in any language!

翻译 - JS 中最强大的 IO monad 实现，可能是任何语言！

JavaScript fp 函数式编程 monad monads io maybe either observable

JavaScript 1.07 k

1 年前

thma / LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

functional-languages factory-pattern strategy-pattern builder-pattern function-composition monad Haskell design-patterns gof-patterns category-theory typeclasses pattern-language monad-transformers

Haskell 998

1 年前

palatable / lambda

Functional patterns for Java

Java 函数式编程 lenses lambda monad profunctors either algebraic-data-types

Java 870

2 年前

niltok / magic-in-ten-mins

十分钟魔法练习

adt Java monad lambda-calculus 函数式编程 hkt 教程 formal-verification

HTML 798

2 年前

dry-rb / dry-monads

Useful, common monads in idiomatic Ruby

翻译 - 惯用Ruby中有用的常用monad

dry-rb monad 函数式编程 Ruby gem rubygem

Ruby 779

3 天前

fantasyland / static-land

Specification for common algebraic structures in JavaScript based on Fantasy Land

函数式编程 fantasy-land specification monad adt algebraic algebraic-data-types algebra

JavaScript 774

5 年前

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

category-theory Coq monad construction

Coq 765

2 个月前