algebraic-data-types

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

fp-ts
gcanti / fp-ts
Functional programming in TypeScript
algebraic-data-types functional-programming typescript
Language:TypeScript 10667
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 2475
origamitower / folktale
[not actively maintained!] A standard library for functional programming in JavaScript
algebraic-data-types functional javascript
Language:JavaScript 2037
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 1594
enkimute / ganja.js
:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
algebraic-data-types clifford-algebras complex-numbers cplusplus csharp geometric-algebra javascript operator-overloading python quaternion-algebra rust
Language:JavaScript 1502
gigobyte / purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
algebraic-data-types codec decode either fantasy-land functional-programming functor maybe monad option-type result-type typescript
Language:TypeScript 1498
Hirrolot / datatype99
Algebraic data types for C99
adt algebraic algebraic-data-types c99 derive introspection metalang99 metaprogramming pattern-matching reflection-library sum-types tagged-unions type-system variant
Language:C 1345
solodon4 / Mach7
Functional programming style pattern-matching library for C++
adt algebraic-data-types pattern pattern-matching variant visitor visitor-pattern
Language:C++ 1276
witchcrafters / witchcraft
Monads and other dark magic for Elixir
algebra algebraic-data-types applicative category elixir functor monad operators traversable type-class
Language:Elixir 1186
palatable / lambda
Functional patterns for Java
java functional-programming lenses lambda functor monad semigroup monoid coproduct profunctors bifunctors either traversable try-monad algebraic-data-types tuples hlist maybe-monad optics io-monad
Language:Java 858
fantasyland / static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
adt algebra algebraic algebraic-data-types fantasy-land functional-programming functor monad monoid specification static-land
Language:JavaScript 771
stepchowfun / typical
Data interchange with algebraic data types.
algebraic-data-types data-interchange idl interface-definition-language interface-description-language serialization type-safety types
Language:Rust 561
derive4j / derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
algebraic-data-types optics functional-programming algebra visitor-pattern annotation-processor java-8 derive4j catamorphisms visitor laziness java sum-types tagged-unions discriminated-unions exhaustiveness-checking fold
Language:Java 560
kotlingrad
breandan / kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
algebraic-data-types array-programming automatic-differentiation chinese computer-algebra differentiable-programming gradient-descent kotlin linear-algebra message-passing multi-stage-programming optimization shape-safety symbolic-differentiation types
Language:Kotlin 517
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 465
MLStyle.jl
thautwarm / MLStyle.jl
Julia functional programming infrastructures and metaprogramming facilities
algebraic-data-types pattern-matching scalability statically-generated syntax-sugar
Language:Julia 397
kongware / scriptum
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
functional-programming polymorphism algebraic-data-types sum-types tagged-unions pure-function monad recursion javascript composition function-composition point-free folding transducers purity corecursion catamorphism anamorphism monad-transformers lazyness
Language:JavaScript 382
adam-mcdaniel / sage
A programming language that's wise beyond its bytes!🌱🌿🪴
algebraic-data-types c compiler pattern-matching polymorphism portable rust structural-typing turing-tarpit wasm x86-64 frontend mobile web
Language:Rust 367
witchcrafters / algae
Bootstrapped algebraic data types for Elixir
adt algebraic-data-types data-structures dsl
Language:Elixir 341
devexperts / remote-data-ts
RemoteData type
typescript algebraic-data-types functional-programming fp-ts
Language:TypeScript 288
pointfreeco / swift-enum-properties
🤝 Struct and enum data access in harmony.
code-generation algebraic-data-types
Language:Swift 198
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 177
jspahrsummers / adt
Algebraic data types for Python (experimental, not actively maintained)
algebraic-data-types python3 sum-types tagged-unions
Language:Python 172
spotify / dataenum
Algebraic data types in Java.
java algebraic-data-types
Language:Java 163
stylewarning / cl-algebraic-data-type
Algebraic data types in Common Lisp
common-lisp algebraic-data-types functional-programming
Language:Common Lisp 133
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
foldable traversable erlang lenses category-pattern data-structures streams algebraic-data-types monads generic-programming
Language:Erlang 123
jasonkuhrt / alge
Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱
adt algebraic-data-types data typescript
Language:TypeScript 113
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 110
gcanti / fp-ts-codegen
TypeScript code generation from a haskell-like syntax for ADT. Playground:
fp-ts algebraic-data-types typescript
Language:TypeScript 105
MasonProtter / SumTypes.jl
An implementation of Sum types in Julia
algebraic-data-types disjoint-unions enumeration enums julia pattern-matching sum-types
Language:Julia 102
baetheus / fun
A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.
monad typescript deno algebraic-data-types higher-kinded-types functor option either task effects functional-programming
Language:TypeScript 99
blackhole89 / macros
A more powerful C/C++ preprocessor.
preprocessor cplusplus c haskell macros algebraic-data-types
Language:Haskell 84
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 72
Qqwy / elixir-fun_land
Algebraic Data Types for Elixir: Both functional and fun.
elixir elixir-lang fun-land algebraic-data-types monad adt
Language:Elixir 71
mknejp / dotvariant
A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
csharp variant functional sum-types algebraic-data-types union discriminated-unions csharp-sourcegenerator
Language:C# 70