Overview
| SHA1 Hash: | 3ae09b8cbf8188c7dd163a953e95b80b2ffbd5d7 |
|---|---|
| Date: | 2010-11-24 21:14:00 |
| User: | kinaba |
| Comment: | changed if-then-else syntax |
| Timelines: | family | ancestors | descendants | both | trunk |
| Downloads: | Tarball | ZIP archive |
| Other Links: | files | file ages | manifest |
Tags And Properties
- branch=trunk inherited from [f65680e1d2]
- sym-trunk inherited from [f65680e1d2]
Changes
Modified doc/_common.html from [f3e3c7b7f7a68def] to [4967f08e96ea62fb].
22 22 23 The list of modules globaly used inside Polemy.<br><br> 23 The list of modules globaly used inside Polemy.<br><br> 24 24 25 </td></tr> 25 </td></tr> 26 <tr><td id="docfooter"> 26 <tr><td id="docfooter"> 27 Page was generated with 27 Page was generated with 28 <img src="candydoc/img/candydoc.gif" style="vertical-ali 28 <img src="candydoc/img/candydoc.gif" style="vertical-ali 29 on Wed Nov 24 20:33:10 2010 | 29 on Wed Nov 24 21:12:49 2010 30 30 31 </td></tr> 31 </td></tr> 32 </table> 32 </table> 33 </div> 33 </div> 34 <script> 34 <script> 35 explorer.packageExplorer.addModule("index"); 35 explorer.packageExplorer.addModule("index"); 36 explorer.packageExplorer.addModule("main"); 36 explorer.packageExplorer.addModule("main");
Modified doc/ast.html from [e60729d606cec00d] to [abe7fd96d97ab5fa].
563 <script>explorer.outline.decSymbolLevel();</script> 563 <script>explorer.outline.decSymbolLevel();</script> 564 564 565 565 566 </td></tr> 566 </td></tr> 567 <tr><td id="docfooter"> 567 <tr><td id="docfooter"> 568 Page was generated with 568 Page was generated with 569 <img src="candydoc/img/candydoc.gif" style="vertical-ali 569 <img src="candydoc/img/candydoc.gif" style="vertical-ali 570 on Wed Nov 24 20:33:10 2010 | 570 on Wed Nov 24 21:12:49 2010 571 571 572 </td></tr> 572 </td></tr> 573 </table> 573 </table> 574 </div> 574 </div> 575 <script> 575 <script> 576 explorer.packageExplorer.addModule("index"); 576 explorer.packageExplorer.addModule("index"); 577 explorer.packageExplorer.addModule("main"); 577 explorer.packageExplorer.addModule("main");
Modified doc/eval.html from [b923ea618ae1d22f] to [8cb6c47f9236dfb9].
128 <script>explorer.outline.decSymbolLevel();</script> 128 <script>explorer.outline.decSymbolLevel();</script> 129 129 130 130 131 </td></tr> 131 </td></tr> 132 <tr><td id="docfooter"> 132 <tr><td id="docfooter"> 133 Page was generated with 133 Page was generated with 134 <img src="candydoc/img/candydoc.gif" style="vertical-ali 134 <img src="candydoc/img/candydoc.gif" style="vertical-ali 135 on Wed Nov 24 20:33:10 2010 | 135 on Wed Nov 24 21:12:49 2010 136 136 137 </td></tr> 137 </td></tr> 138 </table> 138 </table> 139 </div> 139 </div> 140 <script> 140 <script> 141 explorer.packageExplorer.addModule("index"); 141 explorer.packageExplorer.addModule("index"); 142 explorer.packageExplorer.addModule("main"); 142 explorer.packageExplorer.addModule("main");
Modified doc/failure.html from [80c8731cdbc62770] to [ad8b9e8445bd882d].
178 <script>explorer.outline.decSymbolLevel();</script> 178 <script>explorer.outline.decSymbolLevel();</script> 179 179 180 180 181 </td></tr> 181 </td></tr> 182 <tr><td id="docfooter"> 182 <tr><td id="docfooter"> 183 Page was generated with 183 Page was generated with 184 <img src="candydoc/img/candydoc.gif" style="vertical-ali 184 <img src="candydoc/img/candydoc.gif" style="vertical-ali 185 on Wed Nov 24 20:33:10 2010 | 185 on Wed Nov 24 21:12:49 2010 186 186 187 </td></tr> 187 </td></tr> 188 </table> 188 </table> 189 </div> 189 </div> 190 <script> 190 <script> 191 explorer.packageExplorer.addModule("index"); 191 explorer.packageExplorer.addModule("index"); 192 explorer.packageExplorer.addModule("main"); 192 explorer.packageExplorer.addModule("main");
Modified doc/fresh.html from [23033a1fbfc08c9c] to [9086e73b015a5783].
46 <script>explorer.outline.decSymbolLevel();</script> 46 <script>explorer.outline.decSymbolLevel();</script> 47 47 48 48 49 </td></tr> 49 </td></tr> 50 <tr><td id="docfooter"> 50 <tr><td id="docfooter"> 51 Page was generated with 51 Page was generated with 52 <img src="candydoc/img/candydoc.gif" style="vertical-ali 52 <img src="candydoc/img/candydoc.gif" style="vertical-ali 53 on Wed Nov 24 20:33:10 2010 | 53 on Wed Nov 24 21:12:49 2010 54 54 55 </td></tr> 55 </td></tr> 56 </table> 56 </table> 57 </div> 57 </div> 58 <script> 58 <script> 59 explorer.packageExplorer.addModule("index"); 59 explorer.packageExplorer.addModule("index"); 60 explorer.packageExplorer.addModule("main"); 60 explorer.packageExplorer.addModule("main");
Modified doc/index.html from [49fcca2a72fbb7a0] to [f03a1357a018cf8a].
114 114 115 <font color=green># 演算子など</font> 115 <font color=green># 演算子など</font> 116 | "(" E ")" <font color=green># ただの括弧</font> 116 | "(" E ")" <font color=green># ただの括弧</font> 117 | E BINOP E <font color=green># 二項演算子いろいろ</font> 117 | E BINOP E <font color=green># 二項演算子いろいろ</font> 118 | E "." ID <font color=green># テーブルのフィールドアクセス</font> 118 | E "." ID <font color=green># テーブルのフィールドアクセス</font> 119 | E ".?" ID <font color=green># テーブルにフィールドがあるか否か</font> 119 | E ".?" ID <font color=green># テーブルにフィールドがあるか否か</font> 120 | E "{" ENTRYS "}" <font color=green># テーブル拡張</font> 120 | E "{" ENTRYS "}" <font color=green># テーブル拡張</font> 121 | "if" "(" E ")" "{" E "}" | 121 | "if" E ("then"|":"|"then" ":") E 122 | "if" "(" E ")" "{" E "}" "else "{" E "}" | 122 | "if" E ("then"|":"|"then" ":") E "else" ":"? E 123 123 124 <font color=green># パターンマッチ</font> 124 <font color=green># パターンマッチ</font> 125 | "case" "(" E ")" ("when" "(" PATTERN ")" "{" E "}")* | 125 | "case" E ("when" PATTERN ":" E )* 126 126 127 where PATTERN ::= 式がだいたいなんでも書ける気がする 127 where PATTERN ::= 式がだいたいなんでも書ける気がする 128 128 129 <font color=green># レイヤ指定実行</font> 129 <font color=green># レイヤ指定実行</font> 130 | LAYER "(" E ")" 130 | LAYER "(" E ")" 131 </pre> 131 </pre> 132 </dd> 132 </dd> ................................................................................................................................................................................ 145 <br/> 145 <br/> 146 パターンマッチも全部 <tt>if</tt> と <tt>==</tt> と <tt>&&</tt> と 146 パターンマッチも全部 <tt>if</tt> と <tt>==</tt> と <tt>&&</tt> と 147 <tt>.</tt> と <tt>.?</tt> を使った関数呼び出し式に書き換えられていますが、 147 <tt>.</tt> と <tt>.?</tt> を使った関数呼び出し式に書き換えられていますが、 148 規則の詳細を説明するのが面倒なので適当に想像して下さい。 148 規則の詳細を説明するのが面倒なので適当に想像して下さい。 149 他の書き換えはこんな感じです。 149 他の書き換えはこんな感じです。 150 </p> 150 </p> 151 <pre> 151 <pre> 152 if (E) {E} ⇒ if( E, fun(){E}, fun(){} ) | 152 if E then E ⇒ if( E, fun(){E}, fun(){} ) 153 if (E) {E} else {E} ⇒ if( E, fun(){E}, fun(){E} ) | 153 if E then E else E ⇒ if( E, fun(){E}, fun(){E} ) 154 E BINOP E ⇒ BINOP(E, E) 154 E BINOP E ⇒ BINOP(E, E) 155 { ENTRIES } ⇒ {}{ ENTRIES } 155 { ENTRIES } ⇒ {}{ ENTRIES } 156 {} ⇒ {}() 156 {} ⇒ {}() 157 E {ID:E, ...} ⇒ .=(E, ID, E) { ... } 157 E {ID:E, ...} ⇒ .=(E, ID, E) { ... } 158 </pre> 158 </pre> 159 <p> 159 <p> 160 変数宣言に色々ありますが、<tt>let</tt> と <tt>var</tt> と <tt>def</tt> は同じ扱いで、 160 変数宣言に色々ありますが、<tt>let</tt> と <tt>var</tt> と <tt>def</tt> は同じ扱いで、 ................................................................................................................................................................................ 166 def x = E in E 166 def x = E in E 167 let x = E ; E 167 let x = E ; E 168 var x = E ; E 168 var x = E ; E 169 def x = E ; E 169 def x = E ; E 170 </pre> 170 </pre> 171 <p> 171 <p> 172 以上のどれも同じ意味なので、なんとなく関数型っぽく書きたい気分の日は <tt>let in</tt> を、 172 以上のどれも同じ意味なので、なんとなく関数型っぽく書きたい気分の日は <tt>let in</tt> を、 173 手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいしょう。 | 173 手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよい思います。 > 174 <tt>if then else</tt> も微妙にコロンがあったりなかったりバリーションがありますが好みで使います。 174 </p> 175 </p> 175 <p> 176 <p> 176 関数を宣言するときは、<tt>fun</tt> や <tt>λ</tt> を省略できます。 177 関数を宣言するときは、<tt>fun</tt> や <tt>λ</tt> を省略できます。 177 以下の書き換えが行われます。 178 以下の書き換えが行われます。 178 </p> 179 </p> 179 <pre> 180 <pre> 180 def f( ARGS ) { E }; E ⇒ def f = fun(ARGS){E}; E 181 def f( ARGS ) { E }; E ⇒ def f = fun(ARGS){E}; E ................................................................................................................................................................................ 208 <pre> 209 <pre> 209 let x=21 in let x=x+x in x <font color=green># 42</font> 210 let x=21 in let x=x+x in x <font color=green># 42</font> 210 </pre> 211 </pre> 211 <p> 212 <p> 212 一方で、"let rec" のような特別な構文はありませんが、 213 一方で、"let rec" のような特別な構文はありませんが、 213 </p> 214 </p> 214 <pre> 215 <pre> 215 let f = fun(x) { if(x==0){1}else{x*f(x-1)} } in f(10) <font color=green># 36 | 216 let f = fun(x) { if x==0 then 1 else x*f(x-1) } in f(10) <font color=green># 216 </pre> 217 </pre> 217 <p> 218 <p> 218 再帰的な関数定義なども、おそらく意図されたとおりに動きます。 219 再帰的な関数定義なども、おそらく意図されたとおりに動きます。 219 内部の詳細は、諸般の事情により、 220 内部の詳細は、諸般の事情により、 220 マジカルで破壊的なスコープ規則になっているのですが、 221 マジカルで破壊的なスコープ規則になっているのですが、 221 同名の変数を激しく重ねて使ったりしなければ、 222 同名の変数を激しく重ねて使ったりしなければ、 222 だいたい自然な動きをすると思います、たぶん、はい。 223 だいたい自然な動きをすると思います、たぶん、はい。 ................................................................................................................................................................................ 315 <dd><p> 316 <dd><p> 316 適当に実装されたパターンマッチがあります。 317 適当に実装されたパターンマッチがあります。 317 リストの 2n 番目と 2n+1 番目を足して長さを半分にする関数： 318 リストの 2n 番目と 2n+1 番目を足して長さを半分にする関数： 318 </p> 319 </p> 319 <pre> 320 <pre> 320 def adjSum(lst) 321 def adjSum(lst) 321 { 322 { 322 case( lst ) | 323 case lst 323 when( {car:x, cdr:{car: y, cdr:z}} ) { {car: x+y, cdr: adjSum(z)} } | 324 when {car:x, cdr:{car: y, cdr:z}}: {car: x+y, cdr: adjSum(z)} 324 when( {car:x, cdr:{}} ) { lst } | 325 when {car:x, cdr:{}}: lst 325 when( {} ) { {} } | 326 when {}: {} 326 } 327 } 327 </pre> 328 </pre> 328 <p> 329 <p> 329 動かすときには、処理系がそれっぽい if-then-else に展開しています。 330 動かすときには、処理系がそれっぽい if-then-else に展開しています。 330 <tt>when</tt> を上から試していって、最初にマッチしたところを実行します。 331 <tt>when</tt> を上から試していって、最初にマッチしたところを実行します。 331 </p> 332 </p> 332 <pre> 333 <pre> ................................................................................................................................................................................ 339 変数パターンは常にマッチして、値をその変数に束縛します。 340 変数パターンは常にマッチして、値をその変数に束縛します。 340 ワイルドカードも常にマッチしますが、変数束縛しません。 341 ワイルドカードも常にマッチしますが、変数束縛しません。 341 値パターンは、任意の式が書けます。その式を評価した結果と <tt>==</tt> ならマッチします。 342 値パターンは、任意の式が書けます。その式を評価した結果と <tt>==</tt> ならマッチします。 342 外で束縛された変数を値パターンとして配置、は直接はできないので 343 外で束縛された変数を値パターンとして配置、は直接はできないので 343 </p> 344 </p> 344 <pre> 345 <pre> 345 var x = 123; 346 var x = 123; 346 case( foo ) | 347 case foo 347 when( {val: x+0} ) { ... } <font color=green># これは任意の {val:123} と同じ</font> | 348 when {val: x+0}: ... <font color=green># これは {val:123} と同じ</font> 348 when( {val: x} ) { ... } <font color=green># これは任意の foo.?val なら常にマッチ</fon | 349 when {val: x}: ... <font color=green># これは任意の foo.?val なら常にマッチ</font> 349 </pre> 350 </pre> 350 <p> 351 <p> 351 適当にちょっと複雑な式にしてやるとよいかも（裏技）。 352 適当にちょっと複雑な式にしてやるとよいかも（裏技）。 352 </p> 353 </p> 353 <p> 354 <p> 354 テーブルパターンは、書かれたキーが全てあればマッチします。 355 テーブルパターンは、書かれたキーが全てあればマッチします。 355 <tt>{a: _}</tt> は、<tt>.a</tt> を持ってさえいればマッチするので、 356 <tt>{a: _}</tt> は、<tt>.a</tt> を持ってさえいればマッチするので、 356 <tt>{a: 123, b: 456}</tt> なんかにもマッチします。 357 <tt>{a: 123, b: 456}</tt> なんかにもマッチします。 357 なので、リストに対するパターンを書くときには、car/cdr の場合を先に書かないと 358 なので、リストに対するパターンを書くときには、car/cdr の場合を先に書かないと 358 <tt>when({})</tt> を上に書くと全部マッチしちゃいます。注意。 | 359 <tt>when {}</tt> を上に書くと全部マッチしちゃいます。注意。 359 </p> 360 </p> 360 </dd> 361 </dd> 361 </dl> 362 </dl> 362 <script>explorer.outline.decSymbolLevel();</script> 363 <script>explorer.outline.decSymbolLevel();</script> 363 364 364 365 365 </dd> 366 </dd> ................................................................................................................................................................................ 800 <script>explorer.outline.decSymbolLevel();</script> 801 <script>explorer.outline.decSymbolLevel();</script> 801 802 802 803 803 </td></tr> 804 </td></tr> 804 <tr><td id="docfooter"> 805 <tr><td id="docfooter"> 805 Page was generated with 806 Page was generated with 806 <img src="candydoc/img/candydoc.gif" style="vertical-ali 807 <img src="candydoc/img/candydoc.gif" style="vertical-ali 807 on Wed Nov 24 20:33:08 2010 | 808 on Wed Nov 24 21:12:48 2010 808 809 809 </td></tr> 810 </td></tr> 810 </table> 811 </table> 811 </div> 812 </div> 812 <script> 813 <script> 813 explorer.packageExplorer.addModule("index"); 814 explorer.packageExplorer.addModule("index"); 814 explorer.packageExplorer.addModule("main"); 815 explorer.packageExplorer.addModule("main");
Modified doc/layer.html from [63d3b80a5cea1d9b] to [53e06d787604d0ed].
150 <script>explorer.outline.decSymbolLevel();</script> 150 <script>explorer.outline.decSymbolLevel();</script> 151 151 152 152 153 </td></tr> 153 </td></tr> 154 <tr><td id="docfooter"> 154 <tr><td id="docfooter"> 155 Page was generated with 155 Page was generated with 156 <img src="candydoc/img/candydoc.gif" style="vertical-ali 156 <img src="candydoc/img/candydoc.gif" style="vertical-ali 157 on Wed Nov 24 20:33:10 2010 | 157 on Wed Nov 24 21:12:49 2010 158 158 159 </td></tr> 159 </td></tr> 160 </table> 160 </table> 161 </div> 161 </div> 162 <script> 162 <script> 163 explorer.packageExplorer.addModule("index"); 163 explorer.packageExplorer.addModule("index"); 164 explorer.packageExplorer.addModule("main"); 164 explorer.packageExplorer.addModule("main");
Modified doc/lex.html from [e1ae052f9e9d69b0] to [583ce05aaa701505].
307 <script>explorer.outline.decSymbolLevel();</script> 307 <script>explorer.outline.decSymbolLevel();</script> 308 308 309 309 310 </td></tr> 310 </td></tr> 311 <tr><td id="docfooter"> 311 <tr><td id="docfooter"> 312 Page was generated with 312 Page was generated with 313 <img src="candydoc/img/candydoc.gif" style="vertical-ali 313 <img src="candydoc/img/candydoc.gif" style="vertical-ali 314 on Wed Nov 24 20:33:10 2010 | 314 on Wed Nov 24 21:12:49 2010 315 315 316 </td></tr> 316 </td></tr> 317 </table> 317 </table> 318 </div> 318 </div> 319 <script> 319 <script> 320 explorer.packageExplorer.addModule("index"); 320 explorer.packageExplorer.addModule("index"); 321 explorer.packageExplorer.addModule("main"); 321 explorer.packageExplorer.addModule("main");
Modified doc/main.html from [736095fc16c333ba] to [9fdfd4c7d1034144].
62 <script>explorer.outline.decSymbolLevel();</script> 62 <script>explorer.outline.decSymbolLevel();</script> 63 63 64 64 65 </td></tr> 65 </td></tr> 66 <tr><td id="docfooter"> 66 <tr><td id="docfooter"> 67 Page was generated with 67 Page was generated with 68 <img src="candydoc/img/candydoc.gif" style="vertical-ali 68 <img src="candydoc/img/candydoc.gif" style="vertical-ali 69 on Wed Nov 24 20:33:10 2010 | 69 on Wed Nov 24 21:12:49 2010 70 70 71 </td></tr> 71 </td></tr> 72 </table> 72 </table> 73 </div> 73 </div> 74 <script> 74 <script> 75 explorer.packageExplorer.addModule("index"); 75 explorer.packageExplorer.addModule("index"); 76 explorer.packageExplorer.addModule("main"); 76 explorer.packageExplorer.addModule("main");
Modified doc/parse.html from [84e792c2da714358] to [0556ccaeaa174e09].
56 <script>explorer.outline.decSymbolLevel();</script> 56 <script>explorer.outline.decSymbolLevel();</script> 57 57 58 58 59 </td></tr> 59 </td></tr> 60 <tr><td id="docfooter"> 60 <tr><td id="docfooter"> 61 Page was generated with 61 Page was generated with 62 <img src="candydoc/img/candydoc.gif" style="vertical-ali 62 <img src="candydoc/img/candydoc.gif" style="vertical-ali 63 on Wed Nov 24 20:33:10 2010 | 63 on Wed Nov 24 21:12:49 2010 64 64 65 </td></tr> 65 </td></tr> 66 </table> 66 </table> 67 </div> 67 </div> 68 <script> 68 <script> 69 explorer.packageExplorer.addModule("index"); 69 explorer.packageExplorer.addModule("index"); 70 explorer.packageExplorer.addModule("main"); 70 explorer.packageExplorer.addModule("main");
Modified doc/repl.html from [4efdaf2835d713ce] to [712f2862bf0c7df9].
156 <script>explorer.outline.decSymbolLevel();</script> 156 <script>explorer.outline.decSymbolLevel();</script> 157 157 158 158 159 </td></tr> 159 </td></tr> 160 <tr><td id="docfooter"> 160 <tr><td id="docfooter"> 161 Page was generated with 161 Page was generated with 162 <img src="candydoc/img/candydoc.gif" style="vertical-ali 162 <img src="candydoc/img/candydoc.gif" style="vertical-ali 163 on Wed Nov 24 20:33:10 2010 | 163 on Wed Nov 24 21:12:49 2010 164 164 165 </td></tr> 165 </td></tr> 166 </table> 166 </table> 167 </div> 167 </div> 168 <script> 168 <script> 169 explorer.packageExplorer.addModule("index"); 169 explorer.packageExplorer.addModule("index"); 170 explorer.packageExplorer.addModule("main"); 170 explorer.packageExplorer.addModule("main");
Modified doc/runtime.html from [efdc8bef87ec66a6] to [35487d5e4b345dff].
42 <script>explorer.outline.decSymbolLevel();</script> 42 <script>explorer.outline.decSymbolLevel();</script> 43 43 44 44 45 </td></tr> 45 </td></tr> 46 <tr><td id="docfooter"> 46 <tr><td id="docfooter"> 47 Page was generated with 47 Page was generated with 48 <img src="candydoc/img/candydoc.gif" style="vertical-ali 48 <img src="candydoc/img/candydoc.gif" style="vertical-ali 49 on Wed Nov 24 20:33:10 2010 | 49 on Wed Nov 24 21:12:49 2010 50 50 51 </td></tr> 51 </td></tr> 52 </table> 52 </table> 53 </div> 53 </div> 54 <script> 54 <script> 55 explorer.packageExplorer.addModule("index"); 55 explorer.packageExplorer.addModule("index"); 56 explorer.packageExplorer.addModule("main"); 56 explorer.packageExplorer.addModule("main");
Modified doc/test.html from [27184f7aacc74186] to [aa27a0b83e9de985].
143 <script>explorer.outline.decSymbolLevel();</script> 143 <script>explorer.outline.decSymbolLevel();</script> 144 144 145 145 146 </td></tr> 146 </td></tr> 147 <tr><td id="docfooter"> 147 <tr><td id="docfooter"> 148 Page was generated with 148 Page was generated with 149 <img src="candydoc/img/candydoc.gif" style="vertical-ali 149 <img src="candydoc/img/candydoc.gif" style="vertical-ali 150 on Wed Nov 24 20:33:10 2010 | 150 on Wed Nov 24 21:12:49 2010 151 151 152 </td></tr> 152 </td></tr> 153 </table> 153 </table> 154 </div> 154 </div> 155 <script> 155 <script> 156 explorer.packageExplorer.addModule("index"); 156 explorer.packageExplorer.addModule("index"); 157 explorer.packageExplorer.addModule("main"); 157 explorer.packageExplorer.addModule("main");
Modified doc/tricks.html from [5816ccc4efa21149] to [7c435a81bebd30e5].
232 <script>explorer.outline.decSymbolLevel();</script> 232 <script>explorer.outline.decSymbolLevel();</script> 233 233 234 234 235 </td></tr> 235 </td></tr> 236 <tr><td id="docfooter"> 236 <tr><td id="docfooter"> 237 Page was generated with 237 Page was generated with 238 <img src="candydoc/img/candydoc.gif" style="vertical-ali 238 <img src="candydoc/img/candydoc.gif" style="vertical-ali 239 on Wed Nov 24 20:33:10 2010 | 239 on Wed Nov 24 21:12:49 2010 240 240 241 </td></tr> 241 </td></tr> 242 </table> 242 </table> 243 </div> 243 </div> 244 <script> 244 <script> 245 explorer.packageExplorer.addModule("index"); 245 explorer.packageExplorer.addModule("index"); 246 explorer.packageExplorer.addModule("main"); 246 explorer.packageExplorer.addModule("main");
Modified doc/value.html from [9601d3816a1aa4af] to [34785dddb366db48].
162 <script>explorer.outline.decSymbolLevel();</script> 162 <script>explorer.outline.decSymbolLevel();</script> 163 163 164 164 165 </td></tr> 165 </td></tr> 166 <tr><td id="docfooter"> 166 <tr><td id="docfooter"> 167 Page was generated with 167 Page was generated with 168 <img src="candydoc/img/candydoc.gif" style="vertical-ali 168 <img src="candydoc/img/candydoc.gif" style="vertical-ali 169 on Wed Nov 24 20:33:10 2010 | 169 on Wed Nov 24 21:12:49 2010 170 170 171 </td></tr> 171 </td></tr> 172 </table> 172 </table> 173 </div> 173 </div> 174 <script> 174 <script> 175 explorer.packageExplorer.addModule("index"); 175 explorer.packageExplorer.addModule("index"); 176 explorer.packageExplorer.addModule("main"); 176 explorer.packageExplorer.addModule("main");
Modified doc/valueconv.html from [a3104ec3e37a093d] to [21597c550ad00a0c].
84 <script>explorer.outline.decSymbolLevel();</script> 84 <script>explorer.outline.decSymbolLevel();</script> 85 85 86 86 87 </td></tr> 87 </td></tr> 88 <tr><td id="docfooter"> 88 <tr><td id="docfooter"> 89 Page was generated with 89 Page was generated with 90 <img src="candydoc/img/candydoc.gif" style="vertical-ali 90 <img src="candydoc/img/candydoc.gif" style="vertical-ali 91 on Wed Nov 24 20:33:10 2010 | 91 on Wed Nov 24 21:12:49 2010 92 92 93 </td></tr> 93 </td></tr> 94 </table> 94 </table> 95 </div> 95 </div> 96 <script> 96 <script> 97 explorer.packageExplorer.addModule("index"); 97 explorer.packageExplorer.addModule("index"); 98 explorer.packageExplorer.addModule("main"); 98 explorer.packageExplorer.addModule("main");
Modified index.dd from [b4c241e12eddc95c] to [9e5b0b6dd62ac7dd].
65 65 66 $(D_COMMENT # 演算子など) 66 $(D_COMMENT # 演算子など) 67 | "(" E ")" $(D_COMMENT # ただの括弧) 67 | "(" E ")" $(D_COMMENT # ただの括弧) 68 | E BINOP E $(D_COMMENT # 二項演算子いろいろ) 68 | E BINOP E $(D_COMMENT # 二項演算子いろいろ) 69 | E "." ID $(D_COMMENT # テーブルのフィールドアクセス) 69 | E "." ID $(D_COMMENT # テーブルのフィールドアクセス) 70 | E ".?" ID $(D_COMMENT # テーブルにフィールドがあるか否か) 70 | E ".?" ID $(D_COMMENT # テーブルにフィールドがあるか否か) 71 | E "{" ENTRYS "}" $(D_COMMENT # テーブル拡張) 71 | E "{" ENTRYS "}" $(D_COMMENT # テーブル拡張) 72 | "if" "(" E ")" "{" E "}" | 72 | "if" E ("then"|":"|"then" ":") E 73 | "if" "(" E ")" "{" E "}" "else "{" E "}" | 73 | "if" E ("then"|":"|"then" ":") E "else" ":"? E 74 74 75 $(D_COMMENT # パターンマッチ) 75 $(D_COMMENT # パターンマッチ) 76 | "case" "(" E ")" ("when" "(" PATTERN ")" "{" E "}")* | 76 | "case" E ("when" PATTERN ":" E )* 77 77 78 where PATTERN ::= 式がだいたいなんでも書ける気がする 78 where PATTERN ::= 式がだいたいなんでも書ける気がする 79 79 80 $(D_COMMENT # レイヤ指定実行) 80 $(D_COMMENT # レイヤ指定実行) 81 | LAYER "(" E ")" 81 | LAYER "(" E ")" 82 </pre> 82 </pre> 83 )) 83 )) ................................................................................................................................................................................ 88 <br/> 88 <br/> 89 パターンマッチも全部 <tt>if</tt> と <tt>==</tt> と <tt>&&</tt> と 89 パターンマッチも全部 <tt>if</tt> と <tt>==</tt> と <tt>&&</tt> と 90 <tt>.</tt> と <tt>.?</tt> を使った関数呼び出し式に書き換えられていますが、 90 <tt>.</tt> と <tt>.?</tt> を使った関数呼び出し式に書き換えられていますが、 91 規則の詳細を説明するのが面倒なので適当に想像して下さい。 91 規則の詳細を説明するのが面倒なので適当に想像して下さい。 92 他の書き換えはこんな感じです。 92 他の書き換えはこんな感じです。 93 </p> 93 </p> 94 <pre> 94 <pre> 95 if (E) {E} ⇒ if( E, fun(){E}, fun(){} ) | 95 if E then E ⇒ if( E, fun(){E}, fun(){} ) 96 if (E) {E} else {E} ⇒ if( E, fun(){E}, fun(){E} ) | 96 if E then E else E ⇒ if( E, fun(){E}, fun(){E} ) 97 E BINOP E ⇒ BINOP(E, E) 97 E BINOP E ⇒ BINOP(E, E) 98 { ENTRIES } ⇒ {}{ ENTRIES } 98 { ENTRIES } ⇒ {}{ ENTRIES } 99 {} ⇒ {}() 99 {} ⇒ {}() 100 E {ID:E, ...} ⇒ .=(E, ID, E) { ... } 100 E {ID:E, ...} ⇒ .=(E, ID, E) { ... } 101 </pre> 101 </pre> 102 <p> 102 <p> 103 変数宣言に色々ありますが、<tt>let</tt> と <tt>var</tt> と <tt>def</tt> は同じ扱いで、 103 変数宣言に色々ありますが、<tt>let</tt> と <tt>var</tt> と <tt>def</tt> は同じ扱いで、 ................................................................................................................................................................................ 109 def x = E in E 109 def x = E in E 110 let x = E ; E 110 let x = E ; E 111 var x = E ; E 111 var x = E ; E 112 def x = E ; E 112 def x = E ; E 113 </pre> 113 </pre> 114 <p> 114 <p> 115 以上のどれも同じ意味なので、なんとなく関数型っぽく書きたい気分の日は <tt>let in</tt> を、 115 以上のどれも同じ意味なので、なんとなく関数型っぽく書きたい気分の日は <tt>let in</tt> を、 116 手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいしょう。 | 116 手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよい思います。 > 117 <tt>if then else</tt> も微妙にコロンがあったりなかったりバリーションがありますが好みで使います。 117 </p> 118 </p> 118 <p> 119 <p> 119 関数を宣言するときは、<tt>fun</tt> や <tt>λ</tt> を省略できます。 120 関数を宣言するときは、<tt>fun</tt> や <tt>λ</tt> を省略できます。 120 以下の書き換えが行われます。 121 以下の書き換えが行われます。 121 </p> 122 </p> 122 <pre> 123 <pre> 123 def f( ARGS ) { E }; E ⇒ def f = fun(ARGS){E}; E 124 def f( ARGS ) { E }; E ⇒ def f = fun(ARGS){E}; E ................................................................................................................................................................................ 143 <pre> 144 <pre> 144 let x=21 in let x=x+x in x $(D_COMMENT # 42) 145 let x=21 in let x=x+x in x $(D_COMMENT # 42) 145 </pre> 146 </pre> 146 <p> 147 <p> 147 一方で、"let rec" のような特別な構文はありませんが、 148 一方で、"let rec" のような特別な構文はありませんが、 148 </p> 149 </p> 149 <pre> 150 <pre> 150 let f = fun(x) { if(x==0){1}else{x*f(x-1)} } in f(10) $(D_COMMENT # 3628800) | 151 let f = fun(x) { if x==0 then 1 else x*f(x-1) } in f(10) $(D_COMMENT # 36288 151 </pre> 152 </pre> 152 <p> 153 <p> 153 再帰的な関数定義なども、おそらく意図されたとおりに動きます。 154 再帰的な関数定義なども、おそらく意図されたとおりに動きます。 154 内部の詳細は、諸般の事情により、 155 内部の詳細は、諸般の事情により、 155 マジカルで破壊的なスコープ規則になっているのですが、 156 マジカルで破壊的なスコープ規則になっているのですが、 156 同名の変数を激しく重ねて使ったりしなければ、 157 同名の変数を激しく重ねて使ったりしなければ、 157 だいたい自然な動きをすると思います、たぶん、はい。 158 だいたい自然な動きをすると思います、たぶん、はい。 ................................................................................................................................................................................ 222 <p> 223 <p> 223 適当に実装されたパターンマッチがあります。 224 適当に実装されたパターンマッチがあります。 224 リストの 2n 番目と 2n+1 番目を足して長さを半分にする関数： 225 リストの 2n 番目と 2n+1 番目を足して長さを半分にする関数： 225 </p> 226 </p> 226 <pre> 227 <pre> 227 def adjSum(lst) 228 def adjSum(lst) 228 { 229 { 229 case( lst ) | 230 case lst 230 when( {car:x, cdr:{car: y, cdr:z}} ) { {car: x+y, cdr: adjSum(z)} } | 231 when {car:x, cdr:{car: y, cdr:z}}: {car: x+y, cdr: adjSum(z)} 231 when( {car:x, cdr:{}} ) { lst } | 232 when {car:x, cdr:{}}: lst 232 when( {} ) { {} } | 233 when {}: {} 233 } 234 } 234 </pre> 235 </pre> 235 <p> 236 <p> 236 動かすときには、処理系がそれっぽい if-then-else に展開しています。 237 動かすときには、処理系がそれっぽい if-then-else に展開しています。 237 <tt>when</tt> を上から試していって、最初にマッチしたところを実行します。 238 <tt>when</tt> を上から試していって、最初にマッチしたところを実行します。 238 </p> 239 </p> 239 <pre> 240 <pre> ................................................................................................................................................................................ 246 変数パターンは常にマッチして、値をその変数に束縛します。 247 変数パターンは常にマッチして、値をその変数に束縛します。 247 ワイルドカードも常にマッチしますが、変数束縛しません。 248 ワイルドカードも常にマッチしますが、変数束縛しません。 248 値パターンは、任意の式が書けます。その式を評価した結果と <tt>==</tt> ならマッチします。 249 値パターンは、任意の式が書けます。その式を評価した結果と <tt>==</tt> ならマッチします。 249 外で束縛された変数を値パターンとして配置、は直接はできないので 250 外で束縛された変数を値パターンとして配置、は直接はできないので 250 </p> 251 </p> 251 <pre> 252 <pre> 252 var x = 123; 253 var x = 123; 253 case( foo ) | 254 case foo 254 when( {val: x+0} ) { ... } $(D_COMMENT # これは任意の {val:123} と同じ) | 255 when {val: x+0}: ... $(D_COMMENT # これは {val:123} と同じ) 255 when( {val: x} ) { ... } $(D_COMMENT # これは任意の foo.?val なら常にマッチ) | 256 when {val: x}: ... $(D_COMMENT # これは任意の foo.?val なら常にマッチ) 256 </pre> 257 </pre> 257 <p> 258 <p> 258 適当にちょっと複雑な式にしてやるとよいかも（裏技）。 259 適当にちょっと複雑な式にしてやるとよいかも（裏技）。 259 </p> 260 </p> 260 <p> 261 <p> 261 テーブルパターンは、書かれたキーが全てあればマッチします。 262 テーブルパターンは、書かれたキーが全てあればマッチします。 262 <tt>{a: _}</tt> は、<tt>.a</tt> を持ってさえいればマッチするので、 263 <tt>{a: _}</tt> は、<tt>.a</tt> を持ってさえいればマッチするので、 263 <tt>{a: 123, b: 456}</tt> なんかにもマッチします。 264 <tt>{a: 123, b: 456}</tt> なんかにもマッチします。 264 なので、リストに対するパターンを書くときには、car/cdr の場合を先に書かないと 265 なので、リストに対するパターンを書くときには、car/cdr の場合を先に書かないと 265 <tt>when({})</tt> を上に書くと全部マッチしちゃいます。注意。 | 266 <tt>when {}</tt> を上に書くと全部マッチしちゃいます。注意。 266 </p> 267 </p> 267 )) 268 )) 268 ) 269 ) 269 )) 270 )) 270 271 271 272 272 273
Modified polemy/eval.d from [4eba423d1304ad73] to [bd6a863bd24c7016].
395 unittest 395 unittest 396 { 396 { 397 auto e = new Evaluator; 397 auto e = new Evaluator; 398 enrollRuntimeLibrary(e); 398 enrollRuntimeLibrary(e); 399 assert_eq( e.evalString(` 399 assert_eq( e.evalString(` 400 @@3(x){x}; 400 @@3(x){x}; 401 def incr(x) { x+1 }; 401 def incr(x) { x+1 }; 402 @ 3 incr(x) {@value( if(@ 3(x)+1< 3){@ 3(x)+1}else{0} )}; | 402 @ 3 incr(x) {@value( if @ 3(x)+1< 3 then @3(x)+1 else 0 )}; 403 def fb(n @value @3) { @3(n) }; 403 def fb(n @value @3) { @3(n) }; 404 fb(incr(incr(incr(0)))) 404 fb(incr(incr(incr(0)))) 405 `), new IntValue(BigInt(0)) ); 405 `), new IntValue(BigInt(0)) ); 406 } 406 } 407 407 408 unittest 408 unittest 409 { 409 {
Modified polemy/parse.d from [9751c1054b6569e6] to [f6a85fc83dd90cb0].
297 } 297 } 298 scope(exit) lex.popFront; 298 scope(exit) lex.popFront; 299 return new Var(pos, lex.front.str); 299 return new Var(pos, lex.front.str); 300 } 300 } 301 301 302 AST parseIfAfterIf(LexPosition pos) 302 AST parseIfAfterIf(LexPosition pos) 303 { 303 { 304 eat("(", "after if"); < 305 auto cond = E(0); 304 auto cond = E(0); > 305 auto thenPos = currentPosition(); > 306 if(!tryEat(":")) { 306 eat(")", "after if condition"); | 307 eat("then", "after if condition"); 307 auto thenPos = lex.front.pos; < 308 AST th; < 309 if( tryEat("{") ) { | 308 tryEat(":"); 310 th = Body(); < 311 eat("}", "after if-then body"); < 312 } else { < 313 th = E(0); < 314 } 309 } > 310 AST th = E(0); 315 auto el = doNothingExpression(); 311 auto el = doNothingExpression(); 316 auto elsePos = (lex.empty ? LexPosition.dummy : lex.front.pos); | 312 auto elsePos = currentPosition(); 317 if( tryEat("else") ) | 313 if( tryEat("else") ) { 318 if( tryEat("{") ) { | 314 tryEat(":"); 319 el = Body(); < 320 eat("}", "after else body"); < 321 } else { < 322 el = E(0); | 315 el = E(0); 323 } | 316 } 324 return new App(pos, new Var(pos,"if"), cond, new Fun(thenPos,[], 317 return new App(pos, new Var(pos,"if"), cond, new Fun(thenPos,[], 325 } 318 } 326 319 327 AST parsePatternMatch(LexPosition pos) 320 AST parsePatternMatch(LexPosition pos) 328 { 321 { 329 // case pmExpr CASES 322 // case pmExpr CASES 330 //==> 323 //==> ................................................................................................................................................................................ 584 assert_eq(parseString(`1;2;`), let("_","",intl(1),intl(2))); 577 assert_eq(parseString(`1;2;`), let("_","",intl(1),intl(2))); 585 assert_eq(parseString(`let x=1 in 2`), let("x","",intl(1),intl(2))); 578 assert_eq(parseString(`let x=1 in 2`), let("x","",intl(1),intl(2))); 586 assert_eq(parseString(`var x=1;2;`), let("x","",intl(1),intl(2))); 579 assert_eq(parseString(`var x=1;2;`), let("x","",intl(1),intl(2))); 587 assert_eq(parseString(`def x=1`), let("x","",intl(1),var("x"))); 580 assert_eq(parseString(`def x=1`), let("x","",intl(1),var("x"))); 588 assert_eq(parseString(`@val x=1;`), let("x","@val",intl(1),var("x"))); 581 assert_eq(parseString(`@val x=1;`), let("x","@val",intl(1),var("x"))); 589 assert_eq(parseString(`@typ x="#int";`), let("x","@typ",strl("#int"),var 582 assert_eq(parseString(`@typ x="#int";`), let("x","@typ",strl("#int"),var 590 assert_eq(parseString(`f(1,2)`), call(var("f"),intl(1),intl(2))); 583 assert_eq(parseString(`f(1,2)`), call(var("f"),intl(1),intl(2))); 591 assert_eq(parseString(`if(1){2}`), call(var("if"),intl(1),fun([],intl(2) | 584 assert_eq(parseString(`if 1 then 2`), call(var("if"),intl(1),fun([],intl 592 assert_eq(parseString(`if(1){2}else{3}`), call(var("if"),intl(1),fun([], | 585 assert_eq(parseString(`if 1 then: 2 else(3)`), call(var("if"),intl(1),fu 593 assert_eq(parseString(`if(1){}else{3}()()`), | 586 assert_eq(parseString(`(if 1 then () else 3)()()`), 594 call(call(call(var("if"),intl(1),fun([],strl("(empty function bo 587 call(call(call(var("if"),intl(1),fun([],strl("(empty function bo 595 assert_eq(parseString(`1+2*3`), call(var("+"),intl(1),call(var("*"),intl 588 assert_eq(parseString(`1+2*3`), call(var("+"),intl(1),call(var("*"),intl 596 assert_eq(parseString(`(1+2)*3`), call(var("*"),call(var("+"),intl(1),in 589 assert_eq(parseString(`(1+2)*3`), call(var("*"),call(var("+"),intl(1),in 597 assert_eq(parseString(`1*(2+3)`), call(var("*"),intl(1),call(var("+"),in 590 assert_eq(parseString(`1*(2+3)`), call(var("*"),intl(1),call(var("+"),in 598 assert_eq(parseString(`1*2+3`), call(var("+"),call(var("*"),intl(1),intl 591 assert_eq(parseString(`1*2+3`), call(var("+"),call(var("*"),intl(1),intl 599 assert_eq(parseString(`@x(1)`), lay("@x", intl(1))); 592 assert_eq(parseString(`@x(1)`), lay("@x", intl(1))); 600 assert_eq(parseString(`fun(x @v @t, y, z @t){}`), 593 assert_eq(parseString(`fun(x @v @t, y, z @t){}`), ................................................................................................................................................................................ 605 let y = 200; #comment!!!!! 598 let y = 200; #comment!!!!! 606 x+y 599 x+y 607 `), 600 `), 608 let("x", "", intl(100), let("y", "", intl(200), call(var("+"), v 601 let("x", "", intl(100), let("y", "", intl(200), call(var("+"), v 609 ); 602 ); 610 603 611 assert_eq(parseString(` 604 assert_eq(parseString(` 612 var fac = fun(x){ if(x <= 1) {1} else {x*fac(x-1)} }; | 605 var fac = fun(x){ if(x <= 1) then 1 else x*fac(x-1) }; 613 fac(10) 606 fac(10) 614 `), 607 `), 615 let("fac", "", fun(["x"], 608 let("fac", "", fun(["x"], 616 call(var("if"), 609 call(var("if"), 617 call(var("<="), var("x"), intl(1)), 610 call(var("<="), var("x"), intl(1)), 618 fun([], intl(1)), 611 fun([], intl(1)), 619 fun([], call(var("*"), var("x"), call(var("fac") 612 fun([], call(var("*"), var("x"), call(var("fac") ................................................................................................................................................................................ 666 `)); 659 `)); 667 assert_nothrow(parseString(` 660 assert_nothrow(parseString(` 668 case 1 661 case 1 669 when {aaaa:@value(x)}: 1 662 when {aaaa:@value(x)}: 1 670 when {aaaa:{bbb:_}, ccc:123}: 1 663 when {aaaa:{bbb:_}, ccc:123}: 1 671 `)); 664 `)); 672 } 665 } 673 < 674 unittest < 675 { < 676 // test for omitting { .. } < 677 assert_nothrow(parseString(` < 678 if(1) 2 else 3 < 679 `)); < 680 assert_nothrow(parseString(` < 681 if(1) x{y:z} else 3 < 682 `)); < 683 } <
Modified sample/fib.pmy from [8a19e45bd42355a9] to [5b2c3c452aca5b18].
1 def fib(x) 1 def fib(x) 2 { 2 { 3 if( x < 2 ) { 1 } < 4 else { fib(x-1) + fib(x-2) } | 3 if x<2 then 1 else fib(x-1) + fib(x-2) 5 }; 4 }; 6 5 7 let upto = λ(n, f){ | 6 let upto = fun(n, f){ 8 if( n > 0 ){ upto(n-1,f) }; | 7 if n > 0: upto(n-1,f); 9 f(n) 8 f(n) 10 }; 9 }; 11 10 12 var compose = fun(f,g){ fun(x){f(g(x))} }; 11 var compose = fun(f,g){ fun(x){f(g(x))} }; 13 var "<<" = compose; 12 var "<<" = compose; 14 13 15 upto(16, print<<fib); 14 upto(16, print<<fib);
Modified sample/fizzbuzz.pmy from [6b6d7ff7af65edf2] to [8920e9fd1d398081].
2 # Not at all a good example of the usage of layers, but anyway... 2 # Not at all a good example of the usage of layers, but anyway... 3 # 3 # 4 4 5 @@3(x){x}; 5 @@3(x){x}; 6 @@5(x){x}; 6 @@5(x){x}; 7 @@15(x){x}; 7 @@15(x){x}; 8 def incr(x) { x+1 }; 8 def incr(x) { x+1 }; 9 @ 3 incr(x) {@value( if(@ 3(x)+1< 3){@ 3(x)+1}else{0} )}; | 9 @ 3 incr(x) {@value( if(@ 3(x)+1< 3)then@ 3(x)+1 else 0 )}; 10 @ 5 incr(x) {@value( if(@ 5(x)+1< 5){@ 5(x)+1}else{0} )}; | 10 @ 5 incr(x) {@value( if(@ 5(x)+1< 5)then@ 5(x)+1 else 0 )}; 11 @15 incr(x) {@value( if(@15(x)+1<15){@15(x)+1}else{0} )}; | 11 @15 incr(x) {@value( if(@15(x)+1<15)then@15(x)+1 else 0 )}; 12 12 13 def fb(n @value @3 @5 @15) { 13 def fb(n @value @3 @5 @15) { 14 print( | 14 print( if @15(n): if @5(n): if @3(n): n else: "Fizz" else "Buzz" else "FizzBuz 15 if( @15(n) ) { if( @5(n) ) { if( @3(n) ) { n } else { "Fizz" } } else { < 16 ); < 17 fb(incr(n)) 15 fb(incr(n)) 18 }; 16 }; 19 17 20 fb(0) 18 fb(0)
Modified sample/macro.pmy from [977cd2f997805f91] to [b31646ec7576a8a6].
1 @macro twice = fun(x) { x; x }; 1 @macro twice = fun(x) { x; x }; 2 @macro max(x,y) { 2 @macro max(x,y) { 3 var _x = x; # no hygenic macro btw.... 3 var _x = x; # no hygenic macro btw.... 4 var _y = y; # no hygenic macro btw.... 4 var _y = y; # no hygenic macro btw.... 5 if(_x<_y){_y}else{_x} | 5 if(_x<_y)then _y else _x 6 }; 6 }; 7 def maxNormal(x,y) { 7 def maxNormal(x,y) { 8 if(x<y){y}else{x} | 8 if(x<y) > 9 then: y > 10 else: x 9 }; 11 }; 10 @macro maxBad(x,y) { 12 @macro maxBad(x,y) { 11 if(x<y){y}else{x} | 13 if x<y: y else: x 12 }; 14 }; 13 15 14 @macro LetItBe(x, y) { let it = x in y }; 16 @macro LetItBe(x, y) { let it = x in y }; 15 17 16 @macro pow10(x) { 18 @macro pow10(x) { 17 @value( 19 @value( 18 def pow(y, n) { 20 def pow(y, n) { 19 if( n == 1 ) { y } | 21 if( n == 1 ) then y 20 else { | 22 else 21 @macro( @value(y) * @value(pow(y,n-1)) ) 23 @macro( @value(y) * @value(pow(y,n-1)) ) 22 } < 23 } 24 } 24 in 25 in 25 pow(@macro(x+1),10) 26 pow(@macro(x+1),10) 26 ) 27 ) 27 }; 28 }; 28 29 29 @macro pow10Hard(x) { 30 @macro pow10Hard(x) { 30 @value( 31 @value( 31 def pow(x, n) { 32 def pow(x, n) { 32 if( n == 1 ) { x } | 33 if( n == 1 ) then x 33 else { | 34 else 34 @macro( @value(x) * @value(pow(x,n-1)) ) 35 @macro( @value(x) * @value(pow(x,n-1)) ) 35 } < 36 } 36 } 37 in 37 in 38 pow(@macro(x+1),10) 38 pow(@macro(x+1),10) 39 ) 39 ) 40 }; 40 }; 41 41 42 def printAndReturn(x) 42 def printAndReturn(x)
Modified sample/pattern.pmy from [3044d19024152b10] to [2c8664960dfdd96b].
1 def fromTo(x, y) 1 def fromTo(x, y) 2 { 2 { 3 if( x > y ) { {} } | 3 if x > y : {} 4 else { {car: x, cdr: fromTo(x+1,y)} } | 4 else : {car: x, cdr: fromTo(x+1,y)} 5 }; 5 }; 6 6 7 def length(lst) 7 def length(lst) 8 { 8 { 9 case( lst ) | 9 case lst 10 when( {car:_, cdr:x} ) { length(x)+1 } | 10 when {car:_, cdr:x}: length(x)+1 11 when( _ ) { 0 } | 11 when _: 0 12 }; 12 }; 13 13 14 def adjSum(lst) 14 def adjSum(lst) 15 { 15 { 16 case( lst ) | 16 case lst 17 when( {car:x, cdr:{car: y, cdr:z}} ) { {car: x+y, cdr: adjSum(z)} } | 17 when {car:x, cdr:{car: y, cdr:z}} : {car: x+y, cdr: adjSum(z)} 18 when( {car:x, cdr:{}} ) { {car: x, cdr: {}} } | 18 when {car:x, cdr:{}}: {car: x, cdr: {}} 19 when( {} ) { {} } | 19 when {}: {} 20 }; 20 }; 21 21 22 var xs = fromTo(1,101); 22 var xs = fromTo(1,101); 23 23 24 print( xs ); 24 print( xs ); 25 print( length(xs) ); 25 print( length(xs) ); 26 print( adjSum(xs) ); 26 print( adjSum(xs) ); 27 print( length(adjSum(xs)) ); 27 print( length(adjSum(xs)) );
Modified sample/type.pmy from [b35cfd66e862f7bf] to [f80a12af3228ea33].
1 @@type = fun(x){ 1 @@type = fun(x){ 2 if( _isint(x) ) { "int" } | 2 if _isint(x): "int" 3 else { if( _isstr(x) ) { "str" } | 3 else if _isstr(x): "str" 4 else { if( _isundefined(x) ) { "undefined" } | 4 else if _isundefined(x): "undefined" 5 else { "any" }}} | 5 else: "any" 6 }; 6 }; 7 7 8 def binop(a,b,c) { 8 def binop(a,b,c) { 9 fun(x,y){@value( 9 fun(x,y){@value( 10 if( @type(x)=="undefined" || @type(y)=="undefined" ) { "undefined" } else { | 10 if( @type(x)=="undefined" || @type(y)=="undefined" ) then "undefined" else 11 if( @type(x)==a && @type(y)==b ) { c } else { "error" } | 11 if( @type(x)==a && @type(y)==b ) then c else "error" 12 } < 13 )} 12 )} 14 }; 13 }; 15 14 16 @type "+" = binop("int", "int", "int"); 15 @type "+" = binop("int", "int", "int"); 17 @type "-" = binop("int", "int", "int"); 16 @type "-" = binop("int", "int", "int"); 18 @type "<" = binop("int", "int", "int"); 17 @type "<" = binop("int", "int", "int"); 19 @type ">" = binop("int", "int", "int"); 18 @type ">" = binop("int", "int", "int"); 20 19 21 def mergeType(a,b) { 20 def mergeType(a,b) { 22 if( a == "undefined" ) { if(b=="undefined"){"error"}else{b} } else { a } | 21 if( a == "undefined" ): ( if(b=="undefined"):"error" else b ) else ( a ) 23 }; 22 }; 24 23 25 @type "if" = fun(c,t,e) {@value( 24 @type "if" = fun(c,t,e) {@value( 26 if(@type(c)=="int" ) { mergeType(@type(t()), @type(e())) } else { "error" } | 25 if(@type(c)=="int" ): mergeType(@type(t()), @type(e())) else : "error" 27 )}; 26 )};