m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 正規表現とオートマトンを取り上げ始めたキッカケは、Catyの型システムに正規表現型（regular expression type）を導入しよう、って話です。配列の項目パターンを正規表現で書きたいということですね。正規表現といえば、そりゃまーオートマトンでしょ。配列以外の型には、オートマトンを使わない検証方式を使い続けることもできます。ですが、どうせやるなら、どんな型も一律にオートマトンで処理したほうがスッキリするでしょう。そこで、オートマトンを使ってJSONオブジェクト型の妥当性検証をする方法を紹介します。内容： 準備：JSONオブジェクトのリストっぽい解釈 有向グラフと状態遷移 基本的な型… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20100617%2F1276743434" title="正規表現とオートマトン：JSONオブジェクトの妥当性検証 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img2/labeled-edge.jpg Hatena Blog https://hatena.blog 2010-06-17 11:57:14 rich https://m-hiyama.hatenablog.com/entry/20100617/1276743434 1.0 100%