@@ -117,13 +117,13 @@
      | E BINOP E                 <font color=green># 二項演算子いろいろ</font>
      | E "."  ID                 <font color=green># テーブルのフィールドアクセス</font>
      | E ".?" ID                 <font color=green># テーブルにフィールドがあるか否か</font>
      | E "{" ENTRYS "}"          <font color=green># テーブル拡張</font>
-     | "if" "(" E ")" "{" E "}"
-     | "if" "(" E ")" "{" E "}" "else "{" E "}"
+     | "if" E ("then"|":"|"then" ":") E
+     | "if" E ("then"|":"|"then" ":") E "else" ":"? E
 
    <font color=green># パターンマッチ</font>
-     | "case" "(" E ")" ("when" "(" PATTERN ")" "{" E "}")* 
+     | "case" E ("when" PATTERN ":" E )* 
 
          where PATTERN ::= 式がだいたいなんでも書ける気がする
 
    <font color=green># レイヤ指定実行</font>
@@ -148,10 +148,10 @@
 規則の詳細を説明するのが面倒なので適当に想像して下さい。
 他の書き換えはこんな感じです。
 </p>
 <pre>
-    if (E) {E}          ⇒ if( E, fun(){E}, fun(){} )
-    if (E) {E} else {E} ⇒ if( E, fun(){E}, fun(){E} )
+    if E then E         ⇒ if( E, fun(){E}, fun(){} )
+    if E then E else E  ⇒ if( E, fun(){E}, fun(){E} )
     E BINOP E           ⇒ BINOP(E, E)
     { ENTRIES }         ⇒ {}{ ENTRIES }
     {}                  ⇒ {}()
     E {ID:E, ...}       ⇒ .=(E, ID, E) { ... }
@@ -169,9 +169,10 @@
    def x = E ; E
 </pre>
 <p>
 以上のどれも同じ意味なので、なんとなく関数型っぽく書きたい気分の日は <tt>let in</tt> を、
-手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいでしょう。
+手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいと思います。
+<tt>if then else</tt> も微妙にコロンがあったりなかったりバリエーションがありますが好みで使います。
 </p>
 <p>
 関数を宣言するときは、<tt>fun</tt> や <tt>λ</tt> を省略できます。
 以下の書き換えが行われます。
@@ -211,9 +212,9 @@
 <p>
 一方で、"let rec" のような特別な構文はありませんが、
 </p>
 <pre>
-   let f = fun(x) { if(x==0){1}else{x*f(x-1)} } in f(10)  <font color=green># 3628800</font>
+   let f = fun(x) { if x==0 then 1 else x*f(x-1) } in f(10)  <font color=green># 3628800</font>
 </pre>
 <p>
 再帰的な関数定義なども、おそらく意図されたとおりに動きます。
 内部の詳細は、諸般の事情により、
@@ -318,12 +319,12 @@
 </p>
 <pre>
     def adjSum(lst)
     {
-      case( lst )
-        when( {car:x, cdr:{car: y, cdr:z}} ) { {car: x+y, cdr: adjSum(z)} }
-        when( {car:x, cdr:{}} ) { lst }
-        when( {} ) { {} }
+      case lst
+        when {car:x, cdr:{car: y, cdr:z}}: {car: x+y, cdr: adjSum(z)}
+        when {car:x, cdr:{}}: lst
+        when {}: {}
     }
 </pre>
 <p>
 動かすときには、処理系がそれっぽい if-then-else に展開しています。
@@ -342,11 +343,11 @@
 外で束縛された変数を値パターンとして配置、は直接はできないので
 </p>
 <pre>
    var x = 123;
-   case( foo )
-     when( {val: x+0} ) { ... } <font color=green># これは任意の {val:123} と同じ</font>
-     when( {val: x} ) { ... }   <font color=green># これは任意の foo.?val なら常にマッチ</font>
+   case foo
+     when {val: x+0}: ... <font color=green># これは {val:123} と同じ</font>
+     when {val: x}:   ... <font color=green># これは任意の foo.?val なら常にマッチ</font>
 </pre>
 <p>
 適当にちょっと複雑な式にしてやるとよいかも（裏技）。
 </p>
@@ -354,9 +355,9 @@
 テーブルパターンは、書かれたキーが全てあればマッチします。
 <tt>{a: _}</tt> は、<tt>.a</tt> を持ってさえいればマッチするので、
 <tt>{a: 123, b: 456}</tt> なんかにもマッチします。
 なので、リストに対するパターンを書くときには、car/cdr の場合を先に書かないと
-<tt>when({})</tt> を上に書くと全部マッチしちゃいます。注意。
+<tt>when {}</tt> を上に書くと全部マッチしちゃいます。注意。
 </p>
 </dd>
 </dl>
 <script>explorer.outline.decSymbolLevel();</script>
@@ -803,9 +804,9 @@
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:08 2010
+			on Wed Nov 24 21:12:48 2010
 
 		</td></tr>
 	</table>
 </div>