{"image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20061214\" title=\"Linear Type(Clean\u306eUniq Type) - Gemma\u306e\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>","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","categories":[],"version":"1.0","width":"100%","author_name":"Gemma","type":"rich","blog_title":"Gemma\u306e\u65e5\u8a18","title":"Linear Type(Clean\u306eUniq Type)","url":"https://gemma.hatenadiary.org/entry/20061214","author_url":"https://blog.hatena.ne.jp/Gemma/","published":"2006-12-14 00:00:00","blog_url":"https://gemma.hatenadiary.org/","description":"Wadler \u306e Linear Types Can Change the World! \u306e\u30bc\u30df\u304c\u3042\u3063\u305f\u3002 \u53e4\u3044\u8ad6\u6587\u306a\u306e\u3067\u3001Clean \u306e Uniq Type \u3092\u898b\u305f\u307b\u3046\u304c\u8a71\u304c\u65b0\u3057\u3044\u304b\u3082\u3057\u308c\u306a\u3044\u3002 \u4ee5\u4e0b\u3001\u81ea\u5206\u306e\u7406\u89e3\u3002","height":"190"}