DependentTypes
DependentTypes copied to clipboard
jackfoxy
experiments with @robkuz LimitedValue type
Because the dependent type depends on the `new` function of the validator being `unit -> 'Pi`, it is impossible to have the DependentType creation take in a value that should...
A useful utility would do one-time code generation creating source to populate all the methods and properties of the underlying type as well as functions from the type's module (if...
With my skill set and knowledge I have been unable to unify the two types of dependent type in this project into a single type, with the constraint the ```SomeDependentType```...
Adding constructors to the dependent types has proved impossible, so far. Maybe recent or planned F# type system work will make this possible.
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...
The DependentType type does not support extension methods. In lieu of this limitation, is it better to add all the desirable overloads to TryParse and Parse? Otherwise users will have...