{"id":80,"date":"2002-11-19T14:10:08","date_gmt":"2002-11-19T19:10:08","guid":{"rendered":"\/?p=80"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-30T04:00:00","slug":"the_point_of_any_semantic","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2002\/11\/19\/the_point_of_any_semantic\/","title":{"rendered":"The Point of (Any) Semantics"},"content":{"rendered":"<a href=\"http:\/\/lambda.weblogs.com\/2002\/11\/19\">Lambda<\/a> links to a <a href=\"http:\/\/www.cis.upenn.edu\/~bcpierce\/types\/archives\/current\/msg01178.html\">posting<\/a> by Schemer Matthias Felleisen about the usefulness of formal semantics in building programming language systems. As an aside, <a href=\"http:\/\/www.cis.upenn.edu\/~bcpierce\/types\/\">The Types Forum<\/a> looks like a great resource. It&rsquo;s moderated by the author of what I&rsquo;ve heard is an excellent new <a href=\"http:\/\/www.cis.upenn.edu\/~bcpierce\/tapl\/index.html\">types book<\/a>.","protected":false},"excerpt":{"rendered":"<p>Lambda links to a posting by Schemer Matthias Felleisen about the usefulness of formal semantics in building programming language systems. As an aside, The Types Forum looks like a great resource. It&rsquo;s moderated by the author of what I&rsquo;ve heard is an excellent new types book.<\/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-80","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\/80","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=80"}],"version-history":[{"count":0,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/80\/revisions"}],"wp:attachment":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/media?parent=80"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/categories?post=80"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/tags?post=80"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}