{"id":782,"date":"2004-02-20T11:26:14","date_gmt":"2004-02-20T16:26:14","guid":{"rendered":"\/?p=782"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-30T04:00:00","slug":"cyclone_and_curry_howard","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2004\/02\/20\/cyclone_and_curry_howard\/","title":{"rendered":"Cyclone and Curry-Howard"},"content":{"rendered":"<p>\n<a href=\"http:\/\/www.kimbly.com\/blog\/000325.html\">Kim Burchett<\/a>:\n<\/p>\n\n<blockquote cite=\"http:\/\/www.kimbly.com\/blog\/000325.html\">\nHowever what I did glean from the discussion was that Cyclone&rsquo;s straightforward memory leak detection algorithm doesn&rsquo;t lead to a small, well-defined interface. Case in point: in order to implement a garbage collector they had to extend the runtime. It was a small function (only 5 lines of code) but nevertheless it was not possible at the user level. In effect, they had to introduce a new proof rule into the type system. That&rsquo;s disturbing to me&mdash;it means the type system is incomplete. And these are smart people, so if it wasn&rsquo;t complete to start with, that probably means it&rsquo;ll never be complete.\n<\/blockquote>\n\n<p>\nCocoa programmers might find that <a href=\"http:\/\/www.cs.cornell.edu\/Projects\/cyclone\/\">Cyclone<\/a>&rsquo;s <a href=\"http:\/\/www.cs.cornell.edu\/Projects\/cyclone\/online-manual\/main-screen002.html#toc4\">regions<\/a> look a little <a href=\"http:\/\/developer.apple.com\/documentation\/Cocoa\/Reference\/Foundation\/ObjC_classic\/Classes\/NSAutoreleasePool.html#\/\/apple_ref\/occ\/cl\/NSAutoreleasePool\">familiar<\/a>.\n<\/p>","protected":false},"excerpt":{"rendered":"<p>Kim Burchett: However what I did glean from the discussion was that Cyclone&rsquo;s straightforward memory leak detection algorithm doesn&rsquo;t lead to a small, well-defined interface. Case in point: in order to implement a garbage collector they had to extend the runtime. It was a small function (only 5 lines of code) but nevertheless it was [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"apple_news_api_created_at":"","apple_news_api_id":"","apple_news_api_modified_at":"","apple_news_api_revision":"","apple_news_api_share_url":"","apple_news_coverimage":0,"apple_news_coverimage_caption":"","apple_news_is_hidden":false,"apple_news_is_paid":false,"apple_news_is_preview":false,"apple_news_is_sponsored":false,"apple_news_maturity_rating":"","apple_news_metadata":"\"\"","apple_news_pullquote":"","apple_news_pullquote_position":"","apple_news_slug":"","apple_news_sections":"\"\"","apple_news_suppress_video_url":false,"apple_news_use_image_component":false,"footnotes":""},"categories":[4],"tags":[],"class_list":["post-782","post","type-post","status-publish","format-standard","hentry","category-programming-category"],"apple_news_notices":[],"_links":{"self":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/782","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/comments?post=782"}],"version-history":[{"count":0,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/782\/revisions"}],"wp:attachment":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/media?parent=782"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/categories?post=782"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/tags?post=782"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}