Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.
-
Updated
Jun 1, 2024 - C#
Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.
Exhaustiveness checking in TypeScript
A research programming language on top of C macros
Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript
A library for defining and manipulating algebraic data types in TypeScript.
C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions
✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.
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 for Treewidth, through a series of graph search/analysis techniques.
Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Utility function for exhaustiveness checking with typed JS (TS or Flow)
Basic exhaustiveness checking of unions in Elixir
Helpers for Exhaustive Type Checking with TypeScript
Add a description, image, and links to the exhaustiveness-checking topic page so that developers can more easily learn about it.
To associate your repository with the exhaustiveness-checking topic, visit your repo's landing page and select "manage topics."