Closed egnha closed 7 years ago
Won't do: output-validation lies outside the scope of valaddin.
(Why? Because if a function generates invalid output for valid input—which is what valaddin addresses—the function is broken. In such cases, output validation is not the proper solution.)
%checkout%
to return output-validated functions.%secure%
to%checkin%
.It would then be possible to write
to elevate
f
to an end-to-end validated function.