https://b.hatena.ne.jp/entry/s/lexi-lambda.github.io/blog/2019/11/05/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 ... https://b.hatena.ne.jp/phare/20260420#bookmark-4676915608484903458 2026-04-20T00:07:20Z https://b.hatena.ne.jp/nabetk/20251205#bookmark-4676915608484903458 2025-12-05T12:21:28Z https://b.hatena.ne.jp/teppey/20251001#bookmark-4676915608484903458 2025-10-01T03:24:17Z https://b.hatena.ne.jp/tk58147/20250617#bookmark-4676915608484903458 2025-06-17T07:50:24Z https://b.hatena.ne.jp/t_ashula/20250524#bookmark-4676915608484903458 2025-05-24T11:39:57Z https://b.hatena.ne.jp/pokutuna/20240924#bookmark-4676915608484903458 2024-09-24T05:57:24Z https://b.hatena.ne.jp/yasuharu519/20240924#bookmark-4676915608484903458 2024-09-24T04:25:16Z type https://b.hatena.ne.jp/igatea/20240726#bookmark-4676915608484903458 2024-07-25T16:37:07Z https://b.hatena.ne.jp/katsukiniwa/20240717#bookmark-4676915608484903458 2024-07-17T08:46:06Z https://b.hatena.ne.jp/tybalt/20231205#bookmark-4676915608484903458 2023-12-04T18:06:59Z Hacker News Programming https://b.hatena.ne.jp/amagitakayosi/20230417#bookmark-4676915608484903458 2023-04-17T07:42:38Z https://b.hatena.ne.jp/kyo_ago/20230216#bookmark-4676915608484903458 2023-02-16T02:55:05Z data it this haskell programming プログラミング design 設計 デザイン アイデア https://b.hatena.ne.jp/Toge/20230126#bookmark-4676915608484903458 2023-01-25T15:04:59Z あとで読む https://b.hatena.ne.jp/kazre/20230125#bookmark-4676915608484903458 2023-01-25T04:52:49Z https://b.hatena.ne.jp/razokulover/20230125#bookmark-4676915608484903458 2023-01-25T04:21:37Z あとで読む https://b.hatena.ne.jp/yururit/20230125#bookmark-4676915608484903458 2023-01-25T02:25:28Z あとで読む 設計 プログラミング https://b.hatena.ne.jp/yosuke_furukawa/20230125#bookmark-4676915608484903458 今の zod の中核にある考え方で、 parse don't validate という概念について解説した話。インスタンスに状態をもたせて同じ型を使い回すのではなく、その状態に合わせた型がパースされて変換されていくイメージ。型駆動開発。 2023-01-25T01:46:19Z https://b.hatena.ne.jp/imyutaro/20230123#bookmark-4676915608484903458 2023-01-23T13:01:54Z engineering haskell programming coding https://b.hatena.ne.jp/zetta1985/20221223#bookmark-4676915608484903458 2022-12-23T04:33:25Z https://b.hatena.ne.jp/mkusaka/20220919#bookmark-4676915608484903458 2022-09-18T15:55:57Z https://b.hatena.ne.jp/len_prog/20220203#bookmark-4676915608484903458 2022-02-03T10:44:05Z https://b.hatena.ne.jp/odan3240/20210830#bookmark-4676915608484903458 2021-08-30T14:11:42Z https://b.hatena.ne.jp/TaKUMA/20210211#bookmark-4676915608484903458 "Parse, don't validate" 2021-02-10T20:06:20Z idea Haskell Programming https://b.hatena.ne.jp/k0yoshitsugu/20210115#bookmark-4676915608484903458 2021-01-14T23:16:18Z https://b.hatena.ne.jp/kazutanaka/20191112#bookmark-4676915608484903458 2019-11-12T10:38:36Z haskell https://b.hatena.ne.jp/ilyaletre/20191112#bookmark-4676915608484903458 プログラムの処理をいくつかのパイプラインのステージに分けて実装しようとすると、自然と parse -> verify みたいな流れになって気づいたら shotgun parsing を回避してそう。 2019-11-12T05:05:35Z haskell programming https://b.hatena.ne.jp/emonkak/20191110#bookmark-4676915608484903458 2019-11-10T08:55:55Z haskell https://b.hatena.ne.jp/Hiro_Matsuno/20191109#bookmark-4676915608484903458 2019-11-09T01:48:27Z https://b.hatena.ne.jp/avalon1982/20191109#bookmark-4676915608484903458 2019-11-08T21:26:04Z https://b.hatena.ne.jp/hasunuma0613/20191108#bookmark-4676915608484903458 2019-11-08T06:16:45Z https://b.hatena.ne.jp/writers-high/20191108#bookmark-4676958426655798434 2019-11-08T04:02:15Z https://b.hatena.ne.jp/tuki0918/20191108#bookmark-4676915608484903458 2019-11-08T03:53:46Z https://b.hatena.ne.jp/gardemming/20191108#bookmark-4676915608484903458 2019-11-08T03:24:15Z あとで読む https://b.hatena.ne.jp/atsushifx/20191108#bookmark-4676915608484903458 2019-11-08T03:22:01Z https://b.hatena.ne.jp/y-koshi/20191108#bookmark-4676915608484903458 2019-11-08T03:03:35Z あとで読む https://b.hatena.ne.jp/tito1201/20191108#bookmark-4676915608484903458 2019-11-08T02:04:17Z https://b.hatena.ne.jp/komlow/20191108#bookmark-4676915608484903458 2019-11-08T01:23:15Z haskell https://b.hatena.ne.jp/daiki_17/20191108#bookmark-4676915608484903458 2019-11-08T00:47:35Z https://b.hatena.ne.jp/vanbraam/20191108#bookmark-4676915608484903458 原則論として正しい(JSONの例は特に)と思うので言いたい事はわかるが,全ての制約を静的型として表現する事が現実的だとは思わない. 条件付き制約とか入れ子構造の制約とか,処理過程の一時的な中間表現とか... 2019-11-08T00:39:12Z type theory programming design https://b.hatena.ne.jp/winterfall/20191108#bookmark-4676915608484903458 2019-11-08T00:23:04Z https://b.hatena.ne.jp/slay-t/20191108#bookmark-4676915608484903458 2019-11-08T00:15:36Z design it haskell HotEntry https://b.hatena.ne.jp/nauthiz/20191108#bookmark-4676915608484903458 2019-11-07T23:56:42Z haskell https://b.hatena.ne.jp/aiji42/20191108#bookmark-4676915608484903458 2019-11-07T23:51:33Z https://b.hatena.ne.jp/naari_3/20191108#bookmark-4676915608484903458 2019-11-07T23:49:12Z https://b.hatena.ne.jp/peketamin/20191108#bookmark-4676915608484903458 2019-11-07T23:44:45Z https://b.hatena.ne.jp/t_otoda/20191108#bookmark-4676915608484903458 2019-11-07T23:42:09Z あとで読む https://b.hatena.ne.jp/sakito0902/20191108#bookmark-4676915608484903458 2019-11-07T23:32:42Z Haskell HotEntry プログラミング https://b.hatena.ne.jp/thangnvbkhn/20191108#bookmark-4676915608484903458 2019-11-07T23:09:16Z https://b.hatena.ne.jp/shunwitter/20191108#bookmark-4676915608484903458 2019-11-07T23:08:46Z https://b.hatena.ne.jp/azechi_n/20191108#bookmark-4676915608484903458 2019-11-07T22:56:47Z あとで読む https://b.hatena.ne.jp/matarillo/20191108#bookmark-4676915608484903458 2019-11-07T19:00:04Z https://b.hatena.ne.jp/xef/20191107#bookmark-4676915608484903458 2019-11-07T11:11:39Z Haskell