Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Exhaustiveness checking in TypeScript
✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.
C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions
Helpers for Exhaustive Type Checking with TypeScript
Basic exhaustiveness checking of unions in Elixir
Utility function for exhaustiveness checking with typed JS (TS or Flow)
A library for defining and manipulating algebraic data types in TypeScript.
A research programming language on top of C macros
翻译 - with具有纯C模式匹配和类型自省功能的ADT
Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.
Project code developed to accompany the thesis of the bachelor programme BSc Data Science and Artificial Intelligence taught @ Universiteit Maastricht. It consists in (re-)discovering Forbidden Minors...
Finite state management with exhaustiveness and transition enforcement for TypeScript.
Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.
Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript