<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
<channel>
	<title>Хабрахабр:  Метки / supercompilation</title>
	<link>http://habrahabr.ru/rss/tag/supercompilation/</link>
	<description><![CDATA[]]></description>
	<language>ru</language>
	<managingEditor>editor@habrahabr.ru</managingEditor>
	<generator>habrahabr.ru</generator>
	<pubDate>Sat, 11 Feb 2012 18:02:44 GMT</pubDate>
	<lastBuildDate></lastBuildDate>
	<image>
		<link>http://habrahabr.ru/</link>
		<url>http://habrahabr.ru/i/logo.gif</url>
		<title>Хабрахабр</title>
	</image>
	
			
		<item>		
			<title><![CDATA[Ненормальное программирование / Three Futamura Projections и не только]]></title>
			<guid isPermaLink="true">http://habrahabr.ru/blogs/crazydev/47418/</guid>
			<link>http://habrahabr.ru/blogs/crazydev/47418/</link>			
			<description><![CDATA[Привет, хабрачеловек. Сегодня я расскажу тебе про некоторые фундаментальные вещи в computer science: частичные вычисления, три проекции Футамуры и суперкомпиляцию.<br/>
&nbsp;<br/>
&nbsp;<br/>
<h1>1. Сразу к коду</h1><br/>
<code><font color="green">-- функция, которая возводит x в степень y (неотрицательную)</font><br/>
<b>power</b> x y =<br/>
&nbsp;&nbsp;&nbsp;&nbsp;<font color="blue">case</font> y <font color="blue">of</font><br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0 → 1<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1 → x<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;_ → x * (power x (y - 1))<br/>
</code><br/>
<br/>
<div class="habracut"> <a class="habracut" href="http://habrahabr.ru/blogs/crazydev/47418/#habracut">Читать дальше &rarr;</a> </div>]]></description>
			
			<pubDate>Sat, 20 Dec 2008 22:09:25 GMT</pubDate>
			<author>alex_blank</author>
			<category>computation</category><category>partial evaluation</category><category>futamura</category><category>supercompilation</category><category>refal</category><category>supero</category><category>haskell</category><category>fp</category><category>prolog</category>
		</item>
		
		
		
		
		
		
		
		
	
	
	
	
	
	
	
	

	
</channel>
</rss>

