monad · GitHub Topics

louthy / language-ext

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

C# 6.83 k

1 个月前

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 monoid option 编程 result state task typesafe

Go 2.99 k

21 天前

llh911001 / mostly-adequate-guide-chinese

函数式编程指南中文版

函数式编程 functor curry monad

JavaScript 2.54 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.8 k

18 天前

functionaljava / functionaljava

Functional programming in Java

algebra algebraic-data-types effects 函数式编程 Java monad monoid optics 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 functor composition curry monoid 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 functor fantasy-land 函数式编程 either codec decode

TypeScript 1.57 k

2 个月前

JasonShin / fp-core.rs

A library for functional programming in Rust

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

Rust 1.38 k

3 年前

aol / cyclops

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

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

Java 1.33 k

2 年前

witchcrafters / witchcraft

Monads and other dark magic for Elixir

Elixir functor monad applicative 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.17 k

1 年前

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.15 k

1 个月前

getify / monio

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

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

JavaScript 1.08 k

2 个月前

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 functor monad-transformers

Haskell 995

1 年前

palatable / lambda

Functional patterns for Java

Java 函数式编程 lenses lambda functor monad semigroup monoid profunctors either algebraic-data-types optics

Java 872

2 年前

niltok / magic-in-ten-mins

十分钟魔法练习

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

HTML 808

2 年前

dry-rb / dry-monads

Useful, common monads in idiomatic Ruby

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

Ruby 800

2 个月前

jwiegley / category-theory

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

category-theory Coq monad monoid construction functor

Coq 778

20 天前

fantasyland / static-land

Specification for common algebraic structures in JavaScript based on Fantasy Land

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

JavaScript 775

6 年前