ephemera@lemmy.blahaj.zone to Programming@programming.devEnglish · 1 month agoParse, don’t validatelexi-lambda.github.ioexternal-linkmessage-square11fedilinkarrow-up167arrow-down13cross-posted to: hackernews@lemmy.smeargle.fansprogramming@programming.dev
arrow-up164arrow-down1external-linkParse, don’t validatelexi-lambda.github.ioephemera@lemmy.blahaj.zone to Programming@programming.devEnglish · 1 month agomessage-square11fedilinkcross-posted to: hackernews@lemmy.smeargle.fansprogramming@programming.dev
minus-squareKache@lemm.eelinkfedilinkarrow-up1·29 days agoYou cannot, and that’s why that type declaration models a NonEmpty that a type checker can enforce
You cannot, and that’s why that type declaration models a
NonEmpty
that a type checker can enforce