{"image_url":null,"version":"1.0","title":"OCaml\u3067\u306e\u76f8\u4e92\u518d\u5e30\u7684\u306aPolymorphic Variant\u306b\u95a2\u3059\u308b\u30e1\u30e2","author_url":"https://blog.hatena.ne.jp/zehnpaard/","categories":["OCaml"],"url":"https://zehnpaard.hatenablog.com/entry/2020/11/26/081131","blog_url":"https://zehnpaard.hatenablog.com/","blog_title":"Arantium Maestum","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2020%2F11%2F26%2F081131\" title=\"OCaml\u3067\u306e\u76f8\u4e92\u518d\u5e30\u7684\u306aPolymorphic Variant\u306b\u95a2\u3059\u308b\u30e1\u30e2 - 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>","provider_name":"Hatena Blog","description":"\u767a\u7aef\u306f@dico_leque\u3055\u3093\u306e\u3053\u306e\u30c4\u30a4\u30fc\u30c8 \u305d\u3046\u3044\u3048\u3070OCaml\u3067type t = [ atom | `List of t list | `DottedList of t list * atom ]and atom = [ `Int of int | `Vector of t array ]\u307f\u305f\u3044\u306a\u306e\u306fThe type constructor atom is not yet completely defined\u306b\u306a\u3063\u3066\u3057\u307e\u3046\u306e\u3060\u306a\u3042\u3068\u3057\u3066\u3044\u305f\u2014 \u3067\u3053\u308c\u304d (@dico_leque) November 22, 2020 \u305d\u3057\u3066\u3053\u306e\u30c4\u30a4\u30fc\u30c8 constraint\u4f7f\u3046\u65b9\u306f\u4eca\u3067\u3082\u901a\u308b\u304b:type \u2026","height":"190","provider_url":"https://hatena.blog","type":"rich","width":"100%","author_name":"zehnpaard","published":"2020-11-26 08:11:31"}