algebraic-data-types

There are 21 repositories under algebraic-data-types topic.

fp-ts
gcanti / fp-ts
Functional programming in TypeScript
algebraic-data-types functional-programming typescript
Language:TypeScript 11311
fluture-js / Fluture
🦋 Fantasy Land compliant (monadic) alternative to Promises
algebraic-data-types async cancellation control-flow fantasy-land fluture functional-programming future monad promise sanctuary
Language:JavaScript 2495
origamitower / folktale
[not actively maintained!] A standard library for functional programming in JavaScript
algebraic-data-types functional javascript
Language:JavaScript 2045
functionaljava / functionaljava
Functional programming in Java
algebra algebraic-data-types effects functional-programming java monad monoid optics persistent-data-structure property-based-testing
Language:Java 1615
gigobyte / purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
typescript algebraic-data-types maybe monad functor fantasy-land functional-programming either result-type option-type codec decode
Language:TypeScript 1579
enkimute / ganja.js
:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
javascript geometric-algebra clifford-algebras complex-numbers quaternion-algebra operator-overloading algebraic-data-types cplusplus csharp rust python
Language:JavaScript 1542
hirrolot / datatype99
Algebraic data types for C99
type-system algebraic-data-types c99 sum-types reflection-library introspection variant adt algebraic tagged-unions pattern-matching metaprogramming derive metalang99
Language:C 1403
solodon4 / Mach7
Functional programming style pattern-matching library for C++
adt algebraic-data-types pattern pattern-matching variant visitor visitor-pattern
Language:C++ 1301
witchcrafters / witchcraft
Monads and other dark magic for Elixir
algebra algebraic-data-types applicative category elixir functor monad operators traversable type-class
Language:Elixir 1207
palatable / lambda
Functional patterns for Java
algebraic-data-types bifunctors coproduct either functional-programming functor hlist io-monad java lambda lenses maybe-monad monad monoid optics profunctors semigroup traversable try-monad tuples
Language:Java 875
fantasyland / static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
functional-programming fantasy-land specification monad functor monoid adt algebraic algebraic-data-types algebra static-land
Language:JavaScript 775
stepchowfun / typical
Data interchange with algebraic data types.
serialization algebraic-data-types data-interchange types type-safety idl interface-definition-language interface-description-language
Language:Rust 745
derive4j / derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
algebra algebraic-data-types annotation-processor catamorphisms derive4j discriminated-unions exhaustiveness-checking fold functional-programming java java-8 laziness optics sum-types tagged-unions visitor visitor-pattern
Language:Java 570
kotlingrad
breandan / kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
automatic-differentiation differentiable-programming computer-algebra kotlin types shape-safety multi-stage-programming symbolic-differentiation optimization gradient-descent algebraic-data-types array-programming message-passing linear-algebra chinese
Language:Kotlin 534
adam-mcdaniel / sage
A programming language that's wise beyond its bytes!🌱🌿🪴
algebraic-data-types c compiler frontend mobile pattern-matching polymorphism portable rust structural-typing turing-tarpit wasm web x86-64
Language:Rust 521
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.
algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes
Language:Haskell 469
MLStyle.jl
thautwarm / MLStyle.jl
Julia functional programming infrastructures and metaprogramming facilities
algebraic-data-types pattern-matching scalability statically-generated syntax-sugar
Language:Julia 409
robotroutine / scriptum
No-Frills Functional Programming Lib Augmenting Javascript/Node.js
functional-programming pure-function recursion javascript composition function-composition folding purity fold natural-language-processing natural-language-understanding nlp persistent-data-structure structural-sharing
Language:JavaScript 383
witchcrafters / algae
Bootstrapped algebraic data types for Elixir
adt algebraic-data-types data-structures dsl
Language:Elixir 338
devexperts / remote-data-ts
RemoteData type
typescript algebraic-data-types functional-programming fp-ts
Language:TypeScript 291
pointfreeco / swift-enum-properties
🤝 Struct and enum data access in harmony.
code-generation algebraic-data-types
Language:Swift 199
vic / expat
Reusable, composable patterns across Elixir libraries
elixir pattern-matching composable-patterns guards named-patterns algebraic-data-types union-types patterns macros
Language:Elixir 176
jspahrsummers / adt
Algebraic data types for Python (experimental, not actively maintained)
algebraic-data-types python3 sum-types tagged-unions
Language:Python 173
spotify / dataenum
Algebraic data types in Java.
java algebraic-data-types
Language:Java 168
stylewarning / cl-algebraic-data-type
Algebraic data types in Common Lisp
algebraic-data-types common-lisp functional-programming
Language:Common Lisp 139
seagreen / plate
Algebraic type based schema system
algebraic-data-types parametric-polymorphism schema
Language:Haskell 128
fogfish / datum
pure functional and generic programming for Erlang
algebraic-data-types category-pattern data-structures erlang foldable generic-programming lenses monads streams traversable
Language:Erlang 124
jasonkuhrt / alge
Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱
adt algebraic-data-types data typescript
Language:TypeScript 120
baetheus / fun
Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
monad typescript deno algebraic-data-types higher-kinded-types functor option either task effects functional-programming
Language:TypeScript 111
functional
functionalland / functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
deno functional functional-programming denoland functor monoid catamorphism fold maybe either maybe-monad either-monad browser io-monad algebraic-data-types task task-monad category-theory
Language:JavaScript 111
MasonProtter / SumTypes.jl
An implementation of sum types in Julia
algebraic-data-types disjoint-unions enumeration enums julia pattern-matching sum-types
Language:Julia 109
gcanti / fp-ts-codegen
TypeScript code generation from a haskell-like syntax for ADT. Playground:
fp-ts algebraic-data-types typescript
Language:TypeScript 106
blackhole89 / macros
A more powerful C/C++ preprocessor.
preprocessor cplusplus c haskell macros algebraic-data-types
Language:Haskell 87
Roger-luo / Moshi.jl
nextgen MLStyle: Generic Algebraic Data Type + Pattern Match
algebraic-data-types julia pattern-matching sum-types
Language:Julia 79
PoslavskySV / rings
Rings: efficient JVM library for polynomial rings
algebra polynomials factorization polynomial-arithmetic finite-fields mathematics algebraic-data-types algebraic-calculations multivariate-polynomials groebner-basis commutative-algebra
Language:Java 74
Qqwy / elixir-fun_land
Algebraic Data Types for Elixir: Both functional and fun.
adt algebraic-data-types elixir elixir-lang fun-land monad
Language:Elixir 73