{"provider_url":"https://hatena.blog","published":"2008-07-06 00:00:01","height":"190","provider_name":"Hatena Blog","categories":["\u30e1\u30e2","OCaml"],"url":"https://mzp.hatenadiary.org/entry/20080706/core","description":"\u591a\u76f8\u306aSet\u304c\u4f7f\u3044\u305f\u304b\u3063\u305f\u306e\u3067\u3001Janestreet core\u3092\u8a66\u3057\u3066\u307f\u305f\u3002\u4e00\u756a\u5206\u304b\u308a\u3084\u3059\u3044\u5909\u5316\u306f\u3001map\u3068\u304b\u304c\u30e9\u30d9\u30eb\u4ed8\u304d\u5f15\u6570\u3092\u53d6\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u3044\u308b\u3002 val map : 'a list -> f:('a -> 'b) -> 'b list \u306a\u306e\u3067\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea\u3068\u540c\u540d\u3067\u30a4\u30f3\u30bf\u30d5\u30a7\u30fc\u30b9\u304c\u9055\u3046\u30e2\u30b8\u30e5\u30fc\u30eb\u304c\u305f\u304f\u3055\u3093\u3042\u308b\u306e\u3067\u3001open Core.Std\u306f\u5371\u967a\u3060\u3068\u601d\u3046\u3002 \u81ea\u5206\u306f\u3001 module Set = Core.Std.Set \u3068\u3057\u305f\u3002\u3042\u3068\u30b3\u30f3\u30d1\u30a4\u30eb\u306b\u306fThreads\u30e9\u30a4\u30d6\u30e9\u30ea\u3092\u6709\u52b9\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002\u591a\u76f8Set\u306e\u4ed6\u306b\u3082\u3001\u8208\u5473\u6df1\u3044\u30e2\u30b8\u30e5\u30fc\u30eb\u304c\u3044\u304f\u3064\u304b\u3042\u308b\u306e\u3067\u3001\u305d\u306e\u3046\u3061\u8272\u3005\u8a66\u3057\u3066\u307f\u3088\u3046\u3068\u601d\u3046\u3002quick\u2026","type":"rich","width":"100%","version":"1.0","blog_url":"https://mzp.hatenadiary.org/","image_url":null,"blog_title":"\u307f\u305a\u3074\u30fc\u65e5\u8a18","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20080706%2Fcore\" title=\"JaneStreet core\u3092\u4f7f\u3063\u3066\u307f\u305f - \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>","author_url":"https://blog.hatena.ne.jp/mzp/","author_name":"mzp","title":"JaneStreet core\u3092\u4f7f\u3063\u3066\u307f\u305f"}