DependentTypes
DependentTypes copied to clipboard
Future direction: literal type parameters
This discussion https://github.com/robkuz/robkuz.github.io/issues/6#issuecomment-339061345 suggests the LimitedValue technique may be leveraged as an F# language suggestion to implement literals as type parameters. If this were to work out, it could potentially eliminate the need for the config
consuming helper function, and open the door to other methods of creating dependent types.
Yeah the design of this small library could be made even much simpler if the following language suggestions: "Allow Literals in (Generic) Type Definitions" would get implemented
Also refer to this language suggestion https://github.com/fsharp/fslang-suggestions/issues/631