{"blog_title":"\u30c7-mk6","url":"https://dechimal.hatenadiary.com/entry/20080502/1209720630","author_name":"DigitalGhost","image_url":null,"description":"namespace tysp { // lisp for type // nil struct nil { typedef nil first; typedef nil second; typedef nil type; }; // t struct t { typedef t first; typedef nil second; typedef t type; }; // list template<typename T, typename U> struct list { typedef T first; typedef U second; struct eval { typedef ty\u2026","title":"\u30e1\u30e2","width":"100%","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdechimal.hatenadiary.com%2Fentry%2F20080502%2F1209720630\" title=\"\u30e1\u30e2 - \u30c7-mk6\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2008-05-02 18:30:30","height":"190","provider_name":"Hatena Blog","blog_url":"https://dechimal.hatenadiary.com/","version":"1.0","categories":["C++"],"type":"rich","author_url":"https://blog.hatena.ne.jp/DigitalGhost/"}