monads

There are 14 repositories under monads topic.

language-ext
louthy / language-ext
C# pure functional programming framework - come and get declarative!
ad-hoc-polymorphism applicative bcl c-sharp f-sharp functional-languages functional-programming functor higher-kinded-types immutable-collections immutable-types language-ext lenses monad monad-transformers monads monoid records semigroup structural-equality
Language:C# 6950
arrow
arrow-kt / arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
arrow continuations coroutines delimited-continuations for-comprehension fp-types functional-data-structure functional-programming hacktoberfest kotlin kotlin-dsl kotlin-libraries kotlin-library monads optics polymorphism typeclasses typed-lambda-calculus
Language:Kotlin 6470
true-myth / true-myth
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
typescript typescript-library typescript-definitions functional-programming javascript monads functors applicatives
Language:TypeScript 1274
getify / monio
The most powerful IO monad implementation in JS, possibly in any language!
javascript js fp functional-programming monad monads io maybe either observable
Language:JavaScript 1108
monads
slavovojacek / monads
Option, Result, and Either types for TypeScript - Inspired by Rust 🦀
monads javascript typescript types option result rust nodejs either node
Language:TypeScript 874
OSlash
dbrattli / OSlash
Functors, Applicatives, And Monads in Python
oslash monads python functors monad-tutorial
Language:Python 739
boxed
swan-io / boxed
Essential building-blocks for functional & safe TypeScript code
typescript adt fp functional option result future monads
Language:TypeScript 737
frees-io / freestyle
A cohesive & pragmatic framework of FP centric Scala libraries
architectural-patterns cassandra free-monads freestyle functional-programming kafka monads redis rpc scala spark tagless-final
Language:Scala 614
dehun / learn-fp
learn-by-doing course/tutorial for functional programming on scala
scala course functional-programming monad monoid functor typeclasses functional-idioms monad-transformers tutorial comonads monads applicative
Language:Scala 612
xebia-functional / fetch
Simple & Efficient data access for Scala and Scala.js
scala scala-js cats monix data data-fetching parallelism concurrency sequencing monads
Language:Scala 494
rametta / pratica
🥃 Functional Algebraic Data Types
functional-programming monads monoids utilities fp typescript
Language:TypeScript 487
thma / WhyHaskellMatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
haskell anonymous-functions function-composition functional-programming first-class-functions higher-order-functions partial-application pattern-matching algebraic-data-types polymorphic-types declarative-programming mapping folding lazy-evaluation list-comprehension type-classes functor foldable explicit-side-effects monads
Language:Haskell 478
inato / fp-ts-cheatsheet
FP-TS Cheat Sheet
fp-ts functional-programming immutable monads typescript
423
TeaEntityLab / fpGo
Monad, Functional Programming features for Golang
golang functional-programming functional-reactive-programming reactive reactive-programming golang-library monad monads collection optional optional-implementations stream pattern-matching sum-types publisher-subscriber publisher-subscriber-pattern curry currying pubsub actor-model
Language:Go 351
higherkindness / mu-haskell
Mu (μ) is a purely functional framework for building micro services.
avro defines-schemas graphql grpc hacktoberfest haskell monads mu mu-graphql mu-haskell protocol-buffers rpc type-level type-level-programming
Language:Haskell 335
mu-scala
higherkindness / mu-scala
Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
algebra functional-programming monads mu protocol rpc scala tagless-final
Language:Scala 333
LoopPerfect / neither
Either and Maybe monads for better error-handling in C++ ↔️
cpp monads header-only buckaroo either functional-programming optional maybe
Language:C++ 254
fp4php / functional
PHP Functional Programming library. Monads, common use functions and generic collections.
functional functional-programming psalm psalm-plugin functions function monads collections collections-framework static-analysis php immutable streams
Language:PHP 198
sjsyrek / maryamyriameliamurphies.js
A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
javascript haskell functional-programming es2015 monads
Language:JavaScript 181
aztek / scala-workflow
Boilerplate-free syntax for computations with effects
scala scala-macros monads functors applicative-functors functional-programming
Language:Scala 176
orakaro / Swift-monad-Maybe-Reader-and-Try
Proof of concept: Maybe, Reader and Try monad
functor monads reader-monad swift
Language:Swift 166
tonivade / purefun
Functional Programming library for Java
java functional-programming experimental monads higher-kinded-types typeclasses tuples io-monad monad tagless-final free-monad memoization monad-transformers stream immutable-collections mtl effects
Language:Java 133
typescript-monads
patrickmichalina / typescript-monads
📚Write safer TypeScript using Maybe, List, Result, and Either monads.
typescript monads functional-programming immutability javascript node maybe-monad result-monad either-monad reader-monad list-monad
Language:TypeScript 130
madnight / awesome-category-theory
A curated list of awesome Category Theory resources.
applicative awesome-list category-theory category-theory-for-programmers functors monads natural-transformations applied-category-theory category monoids functor abstract-algebra type-theory mathematics
126
fogfish / datum
pure functional and generic programming for Erlang
foldable traversable erlang lenses category-pattern data-structures streams algebraic-data-types monads generic-programming
Language:Erlang 124
TeaEntityLab / fpRust
Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust
rust functional-programming functional-reactive-programming reactive reactive-programming rust-library monad monads optional optional-implementations publisher-subscriber publisher-subscriber-pattern pubsub async handler generator coroutines coroutine-library coroutine actor-model
Language:Rust 122
OlegStotsky / go-monads
experimental implementation of basic monads based on go2 generics draft
fp functional generics go go2 go2go golang monads
Language:Go 115
typemeta / funcj
Assorted functional-oriented data structures and algorithms for Java.
java functional-programming applicative monads codec parser-combinators json
Language:Java 115
dry-rb / dry-matcher
Flexible, expressive pattern matching for Ruby
ruby pattern-matching dry-rb monads
Language:Ruby 103
sonirico / vago
A practical Go toolkit with generic utilities for working with slices, maps, and functional programming primitives, streams, databases and more
functional generics go golang maps monads programming slices streams toolkit utils
Language:Go 93
alice-biometrics / meiga
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
monads result-type typing python result
Language:Python 80
pawelrubin / rustshed
Rust types in Python. https://justforfunnoreally.dev/
functional-programming monads python rust
Language:Python 76
affeldt-aist / monae
Monadic effects and equational reasoning in Rocq
monads monad-transformers probabilistic-programming nondeterminism mathcomp ssreflect math-comp monadic-effects
Language:Rocq Prover 73
typelevel / coop
Cooperative multithreading as a pure monad transformer
cats concurrency fibers free monads scala
Language:Scala 73
bingo-functional
ace411 / bingo-functional
A simple functional programming library for PHP
bingo-framework either-monad fp functional functional-php functional-programming functors helpers immutability immutable io-monad maybe-monad monads php php-library php7 reader-monad state-monad writer-monad
Language:PHP 69
konad
lucapiccinelli / konad
Monads composition API that just works. For OOP developers
applicative-functors arrow composition functors kotlin kotlin-monads monads nullables
Language:Kotlin 64