zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 言語処理系 前回に続いてMonadic Parser Combinatorを実装していく。 再帰 OCamlのような先行評価の言語でMonadic Parserの定義に再帰を使うと問題になる場合とならない場合があるぞい。 問題にならない場合： let match_string s = let rec f = function [] -> pure [] | c::cs -> let* _ = match_char c and* _ = f cs in pure (c::cs) in String.to_list s |> f |> map String.of_list ある文字列がパース対象の先頭にあるか… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2019%2F07%2F05%2F114608" title="OCamlでMonadic Parserを作ってみる（後編） - Arantium Maestum" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-07-05 11:46:08 rich https://zehnpaard.hatenablog.com/entry/2019/07/05/114608 1.0 100%