Parse, don’t validate

Historically, I’ve struggled to find a concise, simple way to explain what it means to practice type-driven design. Too often, when someone asks me “How did you come up with this approach?” I find I can’t give them a satisfying answer. I know it didn’t just come to me in a vision—I have an iterative design process that doesn’t require plucking the “right” approach out of thin air—yet I haven’t bee

[yosuke_furukawa]

今の zod の中核にある考え方で、 parse don't validate という概念について解説した話。インスタンスに状態をもたせて同じ型を使い回すのではなく、その状態に合わせた型がパースされて変換されていくイメージ。型駆動開発。

[TaKUMA]

"Parse, don't validate"

[ilyaletre]

プログラムの処理をいくつかのパイプラインのステージに分けて実装しようとすると、自然と parse -> verify みたいな流れになって気づいたら shotgun parsing を回避してそう。

[vanbraam]

原則論として正しい(JSONの例は特に)と思うので言いたい事はわかるが,全ての制約を静的型として表現する事が現実的だとは思わない. 条件付き制約とか入れ子構造の制約とか,処理過程の一時的な中間表現とか...