3 ms·

I understand it (there's already enough to do at type level that runtime level is a non-goal), but types are purely indicative at IO boundaries. Validation stil

I understand it (there's already enough to do at type level that runtime level is a non-goal), but types are purely indicative at IO boundaries. Validation still needs to happen

eyelidlessness 7y ago
That's right. So since it won't be a part of the language, libraries like this are being developed.