<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>C++Next &#187; Uncategorized</title>
	<atom:link href="http://cpp-next.com/archive/category/uncategorized/feed/" rel="self" type="application/rss+xml" />
	<link>http://cpp-next.com</link>
	<description>The next generation of C++</description>
	<lastBuildDate>Sat, 04 Sep 2010 12:54:13 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0.1</generator>
		<item>
		<title>Algebraic Data&#160;Types</title>
		<link>http://cpp-next.com/archive/2010/07/algebraic-data-types/</link>
		<comments>http://cpp-next.com/archive/2010/07/algebraic-data-types/#comments</comments>
		<pubDate>Thu, 22 Jul 2010 03:00:12 +0000</pubDate>
		<dc:creator>David Sankel</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1319</guid>
		<description><![CDATA[Functional programming in C++. Why would you want to do that and is it possible? In this series of posts I&#8217;m going to introduce functional programming concepts and show how they can be implemented in C++. See below for an introduction to the series and the kick-off article on Algebraic Data Types. Since the dawn [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/07/algebraic-data-types/feed/</wfw:commentRss>
		<slash:comments>28</slash:comments>
		</item>
		<item>
		<title>Introducing: David&#160;Sankel</title>
		<link>http://cpp-next.com/archive/2010/07/introducing-david-sankel/</link>
		<comments>http://cpp-next.com/archive/2010/07/introducing-david-sankel/#comments</comments>
		<pubDate>Tue, 20 Jul 2010 14:54:57 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1402</guid>
		<description><![CDATA[One of the most fascinating talks I saw at BoostCon 2010 was David Sankel, speaking about how to apply the fundamental mathematical ideas of functional programming in C++, using Boost. I asked David if he&#8217;d like to post some articles here about it, and I&#8217;m very pleased to announce the first one in his series, [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/07/introducing-david-sankel/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Formal verification of an operating system&#160;kernel</title>
		<link>http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/</link>
		<comments>http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/#comments</comments>
		<pubDate>Tue, 08 Jun 2010 11:37:03 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[formal]]></category>
		<category><![CDATA[kernel]]></category>
		<category><![CDATA[proof]]></category>

		<guid isPermaLink="false">http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/</guid>
		<description><![CDATA[I was just reading Communications of the ACM and ran across the article mentioned here. I used to think that nobody knew how to do formal verification of &#8220;type unsafe&#8221; languages that stay close enough to the machine model to be highly performant. Pretty cool.]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/06/formal-verification-of-an-operating-system-kernel/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Only 3 days left for C++0x&#160;Comments!</title>
		<link>http://cpp-next.com/archive/2010/05/only-3-days-left-for-c0x-comments/</link>
		<comments>http://cpp-next.com/archive/2010/05/only-3-days-left-for-c0x-comments/#comments</comments>
		<pubDate>Mon, 24 May 2010 20:09:21 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1313</guid>
		<description><![CDATA[In case you haven&#8217;t been paying attention, the final Committee Draft of the C++0x standard is out for review, and there is not much time left to make sure we fix any stupid mistakes, wrongheaded blunders, etc. To be specific, the official comment period ends 27 May, and if you submit a comment to your [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/05/only-3-days-left-for-c0x-comments/feed/</wfw:commentRss>
		<slash:comments>11</slash:comments>
		</item>
		<item>
		<title>To Auto or Not?  That is the&#160;Question</title>
		<link>http://cpp-next.com/archive/2010/02/to-auto-or-not-that-is-the-question/</link>
		<comments>http://cpp-next.com/archive/2010/02/to-auto-or-not-that-is-the-question/#comments</comments>
		<pubDate>Sat, 27 Feb 2010 16:11:00 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1005</guid>
		<description><![CDATA[This entry is part of a series, Mapping Concepts: Safety, and Convenience&#187; In this article series, we&#8217;re trying to understand the consequences of choosing to make a given concept auto—so the compiler can decide that types model the concept on the basis of syntactic structure alone—or non-auto—so types must be explicitly declared to be models, [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/02/to-auto-or-not-that-is-the-question/feed/</wfw:commentRss>
		<slash:comments>41</slash:comments>
		</item>
		<item>
		<title>Site Problems&#160;Fixed</title>
		<link>http://cpp-next.com/archive/2010/02/site-problems-fixed/</link>
		<comments>http://cpp-next.com/archive/2010/02/site-problems-fixed/#comments</comments>
		<pubDate>Wed, 10 Feb 2010 18:11:06 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1175</guid>
		<description><![CDATA[Some of you may have had problems with this site in the past 24 hours, from inability to comment to outright &#8220;database errors.&#8221; Sorry, everyone. We&#8217;ve just moved the server, and it wasn&#8217;t as smooth as we&#8217;d like, but we think everything should be back to normal now. Please send an email to root-AT-boostpro-DOT-com if [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/02/site-problems-fixed/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Order I&#160;Say!</title>
		<link>http://cpp-next.com/archive/2010/02/order-i-say/</link>
		<comments>http://cpp-next.com/archive/2010/02/order-i-say/#comments</comments>
		<pubDate>Tue, 02 Feb 2010 11:43:51 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=1023</guid>
		<description><![CDATA[The C++ standard library&#8217;s sorting functions and its associative containers all require a strict weak ordering criterion. But what is that, really? Well, I thought I had an intuitive feeling for what “strict weak” means, but recently I realized I needed to nail it down. If you look up the definition, you might encounter something [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/02/order-i-say/feed/</wfw:commentRss>
		<slash:comments>74</slash:comments>
		</item>
		<item>
		<title>“Elements of Programming” Chapter 2: Transformations and Their&#160;Orbits</title>
		<link>http://cpp-next.com/archive/2010/01/%e2%80%9celements-of-programming%e2%80%9d-chapter-2-transformations-and-their-orbits/</link>
		<comments>http://cpp-next.com/archive/2010/01/%e2%80%9celements-of-programming%e2%80%9d-chapter-2-transformations-and-their-orbits/#comments</comments>
		<pubDate>Wed, 20 Jan 2010 20:11:09 +0000</pubDate>
		<dc:creator>Timothy Wright</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=959</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; [please see the preface post for information on getting starting with this study group.] Introduction This chapter focuses on different types of procedure. It introduces two, homogeneous predicates and operations. Homogeneous predicates take multiple objects of type T and returns a bool. Operations take multiple [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/01/%e2%80%9celements-of-programming%e2%80%9d-chapter-2-transformations-and-their-orbits/feed/</wfw:commentRss>
		<slash:comments>19</slash:comments>
		</item>
		<item>
		<title>EOP Exercise Round-Up: Chapter&#160;1</title>
		<link>http://cpp-next.com/archive/2010/01/eop-exercise-round-up-chapter-1/</link>
		<comments>http://cpp-next.com/archive/2010/01/eop-exercise-round-up-chapter-1/#comments</comments>
		<pubDate>Fri, 15 Jan 2010 20:44:51 +0000</pubDate>
		<dc:creator>Dave Abrahams</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=968</guid>
		<description><![CDATA[This entry is part of a series, Elements of Programming&#187; We got pretty good turnout for the first batch of exercises this week. Thanks to Tim Wright, John Phillips, and Mark Ruzon for their submissions! Lemmas Mark Ruzon proved all the lemmas. Good show, Mark! We liked his answers a lot, only changing one word [...]]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2010/01/eop-exercise-round-up-chapter-1/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>This Week in Boost temporarily&#160;suspended</title>
		<link>http://cpp-next.com/archive/2009/11/this-week-on-boost-temporarily-suspended/</link>
		<comments>http://cpp-next.com/archive/2009/11/this-week-on-boost-temporarily-suspended/#comments</comments>
		<pubDate>Mon, 30 Nov 2009 05:52:53 +0000</pubDate>
		<dc:creator>Steven Watanabe</dc:creator>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[This Week in Boost]]></category>

		<guid isPermaLink="false">http://cpp-next.com/?p=925</guid>
		<description><![CDATA[Because of my class load, I won&#8217;t be able to continue this column until late December.]]></description>
		<wfw:commentRss>http://cpp-next.com/archive/2009/11/this-week-on-boost-temporarily-suspended/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>
