tagged-unions

Algebraic data types for C99

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

Algebraic data types for Python (experimental, not actively maintained)

Type-safe functional tools for Python.

Smalltalk like programming language

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Tagged unions for Elixir. Just that.

Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.

A JavaScript library for creating websites, PWAs and hybrid apps.

Simple tagged unions

Helps to easily JSON marshal / unmarshal tagged unions in go

Utility function for exhaustiveness checking with typed JS (TS or Flow)

Pattern matching and tagged unions in JavaScript without new syntax.

Small TS library to type and safely handle `serde` JSON serializations of Rust enums.

A library for defining and manipulating algebraic data types in TypeScript.

minimal utilities to work with union types and tagged unions (a.k.a. discriminated unions) in TypeScript

A NaN-tagged value using a 64-bit floating-point number (`f64`) as base, providing a 16-bit tag and 32-bits of payload.

A macro for Janet for creating sum types

An example of tagged unions and exhaustive pattern matches in Go

Functional Programming for C# and .NET Core