<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/'><id>tag:blogger.com,1999:blog-6839602.post6429016332916682162..comments</id><updated>2008-03-17T07:05:29.565-07:00</updated><category term='grammar checking'/><category term='Leibniz equality'/><category term='sized lists'/><category term='definability'/><category term='Heyting algebra'/><category term='static analysis'/><category term='bugs'/><category term='Coq'/><category term='Fomega'/><category term='V=L'/><category term='constructive logic'/><category term='type disequality'/><category term='morphisms'/><category term='nested types'/><category term='flow caml'/><category term='countability'/><category term='kinds'/><category term='impredicativity'/><category term='fuzzy logic'/><category term='termination'/><category term='lightweight static capabilities'/><category term='Simulating Dependent Types with Guarded Algebraic Datatypes'/><category term='C++'/><category term='Haskell'/><category term='Liskov substitutability'/><category term='effects'/><category term='information flow'/><category term='effect inference'/><category term='zero-knowledge proof'/><category term='cardinal numbers'/><category term='_|_'/><category term='CPOs'/><category term='dependent types'/><category term='continuity'/><category term='OOP'/><category term='Dependent ML'/><category term='copious free time'/><category term='parallel or'/><category term='GHC'/><category term='GADTs'/><category term='polymorphism'/><category term='laypeople'/><category term='quotient types'/><category term='refinement types'/><category term='ML'/><category term='referential transparency'/><category term='ordinals'/><category term='conferences'/><title type='text'>Comments on Everyone Else is Crazy: Types at reddit</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://blog.jbapple.com/feeds/6429016332916682162/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/6839602/6429016332916682162/comments/default'/><link rel='alternate' type='text/html' href='http://blog.jbapple.com/2008/03/types-at-reddit.html'/><author><name>Jim Apple</name><uri>http://www.blogger.com/profile/11080395413026172939</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='32' src='http://www.jbapple.com/me-in-suit.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>1</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-6839602.post-9159780353561776180</id><published>2008-03-17T07:05:00.000-07:00</published><updated>2008-03-17T07:05:00.000-07:00</updated><title type='text'>great idea :)</title><content type='html'>great idea :)</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/6839602/6429016332916682162/comments/default/9159780353561776180'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/6839602/6429016332916682162/comments/default/9159780353561776180'/><link rel='alternate' type='text/html' href='http://blog.jbapple.com/2008/03/types-at-reddit.html?showComment=1205762700000#c9159780353561776180' title=''/><author><name>Anonymous</name><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img1.blogblog.com/img/blank.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.jbapple.com/2008/03/types-at-reddit.html' ref='tag:blogger.com,1999:blog-6839602.post-6429016332916682162' source='http://www.blogger.com/feeds/6839602/posts/default/6429016332916682162' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-52480205'/></entry></feed>
