3 ms·
Do you have an example of the kind of validation couldn't be expressed in the type system?
by randomchars 7y ago
Do you have an example of the kind of validation couldn't be expressed in the type system?
- root_axis 7y agoMin or max length of an input. Any type of string validation like email or something similar that's validated via regex.
- eyelidlessness 7y agoroot_axis gave some good examples. Also types like `int` or `decimal` (which you can also pair with branded static types, but they don't actually guarantee anything other than their name. Really any kind of refinement you can imagine on primitive types.