sum-types

There are 0 repository under sum-types topic.

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 1380
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 566
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 383
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 349
dadhi / ImTools
Fast and memory-efficient immutable collections and helper data structures
immutable persistent data-structures functional-programming performance value-semantics reference-semantics compare-and-swap lock-free map dictionary memory-efficient avl-tree sum-types 2-3-tree effects hashmap hashtable open-addressing robinhood-hashmap
Language:C# 235
jspahrsummers / adt
Algebraic data types for Python (experimental, not actively maintained)
python3 algebraic-data-types sum-types tagged-unions
Language:Python 171
MasonProtter / SumTypes.jl
An implementation of sum types in Julia
algebraic-data-types disjoint-unions enumeration enums julia pattern-matching sum-types
Language:Julia 106
recursive-variant
codeinred / recursive-variant
Recursive Variant: A simple library for Recursive Variant Types
variants variant sum-types recursion recursive-types cpp cpp20 header-only header-only-library functional-programming
Language:C++ 82
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
twop / ts-union
ADT sum type in typescript
adt typescript sum-types
Language:TypeScript 70
Roger-luo / Moshi.jl
nextgen MLStyle: Generic Algebraic Data Type + Pattern Match
algebraic-data-types julia pattern-matching sum-types
Language:Julia 68
cwahn / efp
Expressive High-Performance Eager Functional Programming Library for C++ 11
adt cpp cpp11 functional-programming higher-order-component sum-types
Language:C++ 48
kongware / ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
functional-programming javascript currying composition combinators recursion higher-order-functions sum-types polymorphism lazy-evaluation tuples immutability parametric-polymorphism type-system purity tagged-unions scott-encoding row-polymorphism unification hindley-milner
Language:JavaScript 44
alexocode / ex_union
Tagged unions for Elixir. Just that.
discriminated-unions elixir hex sum-types tagged-unions
Language:Elixir 42
JuliaDynamics / LightSumTypes.jl
Easy-to-use sum types in Julia
julia macros single-inheritance structs sum-types syntactic-macros type-system union-types
Language:Julia 42
werediver / sum_types.dart
A code generator enabling sum-types in Dart
dart flutter algebraic-data-types sum-types code-generation
Language:Dart 40
phenax / enum-fp
Functional Enum type / Sum type for javascript with simple pattern matching
algebraic-data-types enum functional-programming js sum-types
Language:JavaScript 29
evturn / haskellbook
Solutions to exercises from the book Haskell Programming
haskell-programming haskellbook haskell functor applicative monad parser-combinators monad-transformers algebraic-data-types abstract-data-types newtype solutions monoid semigroup product-type sum-types foldable traversable haskell-book
Language:Haskell 27
lubieowoce / sumtype
A namedtuple-style library for defining immutable sum types in Python.
python python3 sum-types types
Language:Python 27
mchakravarty / goalsapp
Track periodic goals — a sample iPhone app
iphone frp functional-programming swift immutable-data-structures sum-types value-types
Language:Swift 27
xyzsd / dichotomy
Result, Either, Try, and Maybe monadic types for Java
algebraic-data-types either either-monad error-handling java jdk jvm monads railway-oriented-programming result-type sealed-class types adt sum-types maybe-monad result result-monad try try-monad
Language:Java 26
toastal / either
Elm Either
either union-types elm sum-types result
Language:Elm 24
wisteria
propensive / wisteria
Easy, fast, transparent generic derivation of typeclass instances in Scala
coproduct-types derivation generic-derivation product-types scala sum-types typeclass-derivation typeclass-instances typeclasses
Language:Scala 20
zyedidia / unionize
A tool for generating unions in Go
golang go union sum-types
Language:Go 17
algebraicdb / algebraicdb
[early-wip]A Relational Database Management System with Support for Algebraic Data Types
algebraic-data-types database db dbms rust sum-types
Language:Rust 13
ephel-lang / nethra
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
dependent-types pi-types propositional-equality record-types recursive-types sigma-types sum-types
Language:OCaml 10
freedomlayer / built_union.dart
Dart Union class (sum type)
dart dartlang immutable sum-types
Language:Dart 8
mchakravarty / fp-in-swift
Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017
swift functional-programming value-types frp mvvm-architecture immutable-datastructures sum-types property-based-testing
Language:Swift 7
conjunctive / dust
Pattern matching for destructured values (core.match & spec)
clojure pattern-matching spec sum-types
Language:Clojure 6
toastal / select-prism
Use a Monocle Prism to handle <select> conflict between ADTs and Strings
elm optics select union-types adt sum-types
Language:Elm 6
pfpack / pfpack-core-taggeds
PrimeFuncPack Core.Taggeds is a core pack for .NET consisting of fundamental tagged types targeted for use in functional programming: Optional and Result monads, Tagged Union, as well as the convert extensions.
functional-programming optional-type option-type result-type either-monad pipeline pipeline-framework pipeline-library async-programming asynchronous-programming tagged-unions discriminated-unions disjoint-unions sum-types dotnet dotnet-core csharp result-monad pipelines unit-type
Language:C# 4
cartercanedy / zips
Macros for zipping fallible operations together
adt fallible option rust rust-lang sum-types
Language:Rust 3
hirrolot / poica
A research programming language on top of C macros
poica functional-programming sum-types discriminated-unions tagged-unions pattern-matching exhaustiveness-checking introspection algebraic-data-types c-library header-only error-handling c
Language:C 3
colomboe / java-fp
Utilities and conventions for functional domain modelling in Java
java functional-programming vavr coproduct product sum-types railway-oriented-programming pattern-matching
Language:Java 2
AzharRivaldi / sum_datatable_flutter
Sum Data Table dengan Flutter
sum-price sum-product sum-table-flutter sum-types
Language:Dart 1
ntwiles / nala
A general-purpose interpreted programming language implemented in Rust.
interpreter programming-language pattern-matching structural-typing sum-types
Language:Rust 1