monads

There are 10 repositories under monads topic.

language-ext
louthy / language-ext
C# functional language extensions - a base class library for functional programming
c-sharp functional-languages monads monad-transformers immutable-collections higher-kinded-types language-ext f-sharp immutable-types monad bcl ad-hoc-polymorphism functional-programming lenses records structural-equality functor applicative semigroup monoid
Language:C# 6366
arrow
arrow-kt / arrow
Λrrow - Functional companion to Kotlin's Standard Library
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 6118
getify / monio
The most powerful IO monad implementation in JS, possibly in any language!
either fp functional-programming io javascript js maybe monad monads observable
Language:JavaScript 1048
true-myth / true-myth
A library for safer and smarter error- and "nothing"-handling in TypeScript.
typescript typescript-library typescript-definitions functional-programming javascript monads functors applicatives
Language:TypeScript 976
monads
thames-technology / monads
Option, Result, and Either types for TypeScript - Inspired by Rust 🦀
monads javascript typescript types option result rust nodejs either node
Language:TypeScript 825
OSlash
dbrattli / OSlash
Functors, Applicatives, And Monads in Python
oslash monads python functors monad-tutorial
Language:Python 711
boxed
swan-io / boxed
Essential building-blocks for functional & safe TypeScript code
typescript adt fp functional option result future monads
Language:TypeScript 666
frees-io / freestyle
A cohesive & pragmatic framework of FP centric Scala libraries
functional-programming scala monads redis kafka spark cassandra architectural-patterns rpc tagless-final free-monads freestyle
Language:Scala 613
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 610
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 495
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 466
rametta / pratica
🥃 Functional Algebraic Data Types
functional-programming monads monoids utilities fp typescript
Language:TypeScript 456
inato / fp-ts-cheatsheet
FP-TS Cheat Sheet
typescript functional-programming immutable fp-ts monads
418
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 346
mu-scala
higherkindness / mu-scala
Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
scala functional-programming monads rpc algebra protocol tagless-final mu
Language:Scala 332
higherkindness / mu-haskell
Mu (μ) is a purely functional framework for building micro services.
haskell avro grpc protocol-buffers defines-schemas mu monads rpc type-level-programming type-level mu-graphql mu-haskell graphql hacktoberfest
Language:Haskell 331
LoopPerfect / neither
Either and Maybe monads for better error-handling in C++ ↔️
cpp monads header-only buckaroo either functional-programming optional maybe
Language:C++ 249
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 190
sjsyrek / maryamyriameliamurphies.js
A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
javascript haskell functional-programming es2015 monads
Language:JavaScript 180
aztek / scala-workflow
Boilerplate-free syntax for computations with effects
applicative-functors functional-programming functors monads scala scala-macros
Language:Scala 175
orakaro / Swift-monad-Maybe-Reader-and-Try
Proof of concept: Maybe, Reader and Try monad
functor swift reader-monad monads
Language:Swift 165
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
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 119
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 118
OlegStotsky / go-monads
experimental implementation of basic monads based on go2 generics draft
go golang monads go2 functional fp generics go2go
Language:Go 115
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 112
typemeta / funcj
Assorted functional-oriented data structures and algorithms for Java.
java functional-programming applicative monads codec parser-combinators json
Language:Java 104
dry-rb / dry-matcher
Flexible, expressive pattern matching for Ruby
ruby pattern-matching dry-rb monads
Language:Ruby 101
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 76
typelevel / coop
Cooperative multithreading as a pure monad transformer
cats concurrency fibers free monads scala
Language:Scala 72
pawelrubin / rustshed
Rust types in Python. https://justforfunnoreally.dev/
functional-programming monads python rust
Language:Python 68
affeldt-aist / monae
Monadic effects and equational reasonig in Coq
monads monad-transformers probabilistic-programming nondeterminism mathcomp ssreflect math-comp monadic-effects
Language:Coq 67
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
65
bingo-functional
ace411 / bingo-functional
A simple functional programming library for PHP
php php7 php-library functional-programming functional-php functional bingo-framework either-monad maybe-monad functors helpers fp immutability io-monad state-monad reader-monad writer-monad monads immutable
Language:PHP 64
Jense5 / browser-monads
Monads for `window` and `document`
browser monads window document javascript gatsby
Language:JavaScript 64
konad
lucapiccinelli / konad
Monads composition API that just works. For OOP developers
nullables monads kotlin-monads functors applicative-functors kotlin arrow composition
Language:Kotlin 63