4 ms·
Effects can definitely help, but a strong type system allows you to encode security concerns for compile time feedback as well. See https://gmb.is/refinement-t
by griffinmb 5y ago
Effects can definitely help, but a strong type system allows you to encode security concerns for compile time feedback as well.
See https://gmb.is/refinement-types.html https://gmb.is/refinement-types.html for a non-Haskell example.
- Quekid5 5y agoFor a much simpler example: newtypes can make enforcing proper escaping[0] completely trivial and checked by the compiler. It's very similar to tainted values in Perl except enforced at compile time. [0] No, not sanitization!