This source generator aims to implement some higher order types known from other languages like TypeScript or F#. A higher order type creates a type from another type - aka computing with types. The currently implemented higher order types are: * Tagged Union (a choice of multiple named values) * Intersection (a type that contains the properties that are present in all given types) * Pick (a selection of the properties of a given type) * Omit (all but a selection of the properties of a given type) All types try to resemble Duck Types as close as is possible in C#. Duck Types are compared by their shape and not by their name as it is with normal C# types (nominal typing).
$ dotnet add package TypeSharperNo README available.