‹ BackHN Continuity

Thread

Rusty thoughts on "Parse, don't validate"

95 points · 47 comments · ingve

  1. tjadfsaj · · focus · HN ↗
    Nonempty type wrappers are a stark reminder that we are missing out on refinement types.
    1. andrepd · · focus · HN ↗
      Rust has a proposal for this, in the form of pattern types. It's on nightly, but quite far from being ready for prime time.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.