sum-types
There are 40 repositories under sum-types topic.
Hirrolot/datatype99
Algebraic data types for C99
derive4j/derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
kongware/scriptum
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
TeaEntityLab/fpGo
Monad, Functional Programming features for Golang
dadhi/ImTools
Fast and memory-efficient immutable collections and helper data structures
jspahrsummers/adt
Algebraic data types for Python (experimental, not actively maintained)
MasonProtter/SumTypes.jl
An implementation of Sum types in Julia
codeinred/recursive-variant
Recursive Variant: A simple library for Recursive Variant Types
mknejp/dotvariant
A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
twop/ts-union
ADT sum type in typescript
cwahn/efp
Expressive High-Performance Eager Functional Programming Library for C++ 11
kongware/ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
alexocode/ex_union
Tagged unions for Elixir. Just that.
werediver/sum_types.dart
A code generator enabling sum-types in Dart
phenax/enum-fp
Functional Enum type / Sum type for javascript with simple pattern matching
lubieowoce/sumtype
A namedtuple-style library for defining immutable sum types in Python.
mchakravarty/goalsapp
Track periodic goals — a sample iPhone app
evturn/haskellbook
Solutions to exercises from the book Haskell Programming
toastal/either
Elm Either
propensive/wisteria
Easy, fast, transparent generic derivation of typeclass instances in Scala
xyzsd/dichotomy
Result, Either, Try, and Maybe monadic types for Java
zyedidia/unionize
A tool for generating unions in Go
JuliaDynamics/DynamicSumTypes.jl
Easy-to-use and performant sum types in Julia
algebraicdb/algebraicdb
[early-wip]A Relational Database Management System with Support for Algebraic Data Types
lambe-lang/nethra
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
freedomlayer/built_union.dart
Dart Union class (sum type)
mchakravarty/fp-in-swift
Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017
conjunctive/dust
Pattern matching for destructured values (core.match & spec)
toastal/select-prism
Use a Monocle Prism to handle <select> conflict between ADTs and Strings
Hirrolot/poica
A research programming language on top of C macros
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.
colomboe/java-fp
Utilities and conventions for functional domain modelling in Java
alecmocatta/sum
General-purpose sum types.
computationalabstraction/Styp
Algebraic Sum types for Javascript (beta)
ntwiles/nala
A general-purpose interpreted programming language implemented in Rust.
nabond251/dotnet-sealed-unions
.NET port of Francisco (Paco) Estévez's JavaSealedUnions (https://github.com/pakoito/JavaSealedUnions).