mzp https://blog.hatena.ne.jp/mzp/ みずぴー日記 https://mzp.hatenadiary.org/ ocaml garrigue先生の授業で聞いたやつ。 今まで知らなかったし、ざっと検索したかぎりでは資料が見つからなかった構文。 let rec subst env e = match e with | Var x when List.mem_assoc x env -> Num (List.assoc x env) | e -> map_expr (subst env) e;;かけ算と足し算と変数が扱えるミニ言語の一部。 このmatch withの条件部で、whenを使う事で条件を細かく指定できるらしい。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20061025%2F1161785817" title="matchとwhen - みずぴー日記" 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 2006-10-25 23:16:57 rich https://mzp.hatenadiary.org/entry/20061025/1161785817 1.0 100%