{"categories":["ocaml"],"version":"1.0","type":"rich","description":"garrigue\u5148\u751f\u306e\u6388\u696d\u3067\u805e\u3044\u305f\u3084\u3064\u3002 \u4eca\u307e\u3067\u77e5\u3089\u306a\u304b\u3063\u305f\u3057\u3001\u3056\u3063\u3068\u691c\u7d22\u3057\u305f\u304b\u304e\u308a\u3067\u306f\u8cc7\u6599\u304c\u898b\u3064\u304b\u3089\u306a\u304b\u3063\u305f\u69cb\u6587\u3002 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;;\u304b\u3051\u7b97\u3068\u8db3\u3057\u7b97\u3068\u5909\u6570\u304c\u6271\u3048\u308b\u30df\u30cb\u8a00\u8a9e\u306e\u4e00\u90e8\u3002 \u3053\u306ematch with\u306e\u6761\u4ef6\u90e8\u3067\u3001when\u3092\u4f7f\u3046\u4e8b\u3067\u6761\u4ef6\u3092\u7d30\u304b\u304f\u6307\u5b9a\u3067\u304d\u308b\u3089\u3057\u3044\u3002","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/mzp/","author_name":"mzp","title":"match\u3068when","url":"https://mzp.hatenadiary.org/entry/20061025/1161785817","blog_title":"\u307f\u305a\u3074\u30fc\u65e5\u8a18","published":"2006-10-25 23:16:57","provider_name":"Hatena Blog","image_url":null,"width":"100%","height":"190","blog_url":"https://mzp.hatenadiary.org/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20061025%2F1161785817\" title=\"match\u3068when - \u307f\u305a\u3074\u30fc\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}