Site updated: 2024-11-21 00:15:20

2024/03/19/Futamura-Projections/index.html

@@ -206,18 +206,20 @@ <h1 id="type-i">type I</h1>
 <p><span class="math display">\[
 \forall b\in B, s(f,a)(b)\overset{\text{def}}= f_a(b)=f(a, b)
 \]</span></p>
-<p>我们就从解释器 <span class="math inline">\(f\)</span> 和代码 <span
+<p>利用 specializer <span
+class="math inline">\(s\)</span>，我们就从解释器 <span
+class="math inline">\(f\)</span> 和代码 <span
 class="math inline">\(a\)</span> 得到了可执行文件 <span
-class="math inline">\(f_a\)</span></p>
+class="math inline">\(s(f, a) = f_a\)</span></p>
 <h1 id="type-ii">type II</h1>
 <p><span class="math display">\[
 \forall a\in A, s(s, f)(a)\overset{\text{def}}= s_f(a)=s(f, a)=f_a
 \]</span></p>
 <p>根据 type I，<span class="math inline">\(f_a\)</span>
-是可执行文件，所以这里 <span class="math inline">\(s_f\)</span>​
-是一个只要给出代码就能产生可执行文件的——编译器</p>
-<p>我们就从specializer <span class="math inline">\(s\)</span> 和解释器 $
-f$ 得到了编译器 <span class="math inline">\(s_f\)</span></p>
+是可执行文件，所以这里 <span class="math inline">\(s(s, f) =
+s_f\)</span> 是一个只要给出代码就能产生可执行文件的——编译器</p>
+<p>我们就从 specializer <span class="math inline">\(s\)</span> 和解释器
+$ f$ 得到了编译器 <span class="math inline">\(s_f\)</span></p>
 <h1 id="type-iii">type III</h1>
 <p><span class="math display">\[
 \forall f\in F,s(s, s)(f)\overset{\text{def}}= s_s(f)=s(s,

atom.xml

@@ -43,7 +43,7 @@
     <link href="http://example.com/2024/03/19/Futamura-Projections/"/>
     <id>http://example.com/2024/03/19/Futamura-Projections/</id>
     <published>2024-03-19T15:53:49.000Z</published>
-    <updated>2024-03-19T16:16:06.766Z</updated>
+    <updated>2024-11-20T16:15:16.911Z</updated>