DependentTypes icon indicating copy to clipboard operation
DependentTypes copied to clipboard

Future direction: literal type parameters

Open jackfoxy opened this issue 7 years ago • 2 comments

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.

jackfoxy avatar Nov 11 '17 21:11 jackfoxy

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

robkuz avatar Nov 14 '17 20:11 robkuz

Also refer to this language suggestion https://github.com/fsharp/fslang-suggestions/issues/631

jackfoxy avatar Dec 06 '17 16:12 jackfoxy