Get started with using Immutable Record and Union Types right within your existing C# Visual Studio Projects!
Languages like F#, Scala and Haskell have special types to represent a choice of a finite set of values. These types are variously called 'Union Types', 'Sum Types' or 'Discriminated Unions (DUs)'.
Record Types are effectively immutable namd tuples. They enforce value semantics and can be composed of other Record and Union Types.
Union Types are a powerful way of representing choices. They enforce value semantics and can represent choices between other Record and Union types. They are very useful constructs because they can help model the domain of a problem more precisely, and can help eliminate entire classes of runtime bugs.
Languages like C# and Java can build these types using structs, inheritance and a class hierarchy, but the boilerplate required to do this is too onerous for widespread use.
This library presents a language extension to C# to specify Records and Discriminated Union types; a tool which parses these specifications; a code-generation mechanism and generates idiomatic C# classes which provide the correct functionality; and a Visual Studion extension which allows for integration into the standard development process. A command-line tool is also available.
The Visual Studio 2015 extension is available from the marketplace.
Follow the tutorial for more detailed instructions.
| Mono | .NET |
|---|---|
 |
 |