Overview
| SHA1 Hash: | 005474ba5bd65e7a36165fe7e31ff082fb2cb3a8 |
|---|---|
| Date: | 2010-11-27 23:23:54 |
| User: | kinaba |
| Comment: | changed: not to lift _|_ |
| 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/index.html from [bdbfe9ee7589f910] to [7883429c0af25534].
390 390 391 </span></dt> 391 </span></dt> 392 <script>explorer.outline.writeEnabled = false;</script> 392 <script>explorer.outline.writeEnabled = false;</script> 393 393 394 <dd><p> 394 <dd><p> 395 この言語の唯一の特徴的な部分は、「レイヤ」機能です。 395 この言語の唯一の特徴的な部分は、「レイヤ」機能です。 396 </p> 396 </p> > 397 <p> > 398 ひとつのコードに複数の「意味」を持たせるのが、レイヤ能の目的です。 > 399 </p> 397 400 398 <script>explorer.outline.incSymbolLevel();</script> 401 <script>explorer.outline.incSymbolLevel();</script> 399 <dl> 402 <dl> 400 <script>explorer.outline.writeEnabled = true;</script> 403 <script>explorer.outline.writeEnabled = true;</script> 401 <dt><span class="decl"> 404 <dt><span class="decl"> 402 <span class="currsymbol">Layers</span> | 405 <span class="currsymbol">概要</span> 403 <script>explorer.outline.addDecl('Layers');</script> | 406 <script>explorer.outline.addDecl('概要');</script> 404 407 405 </span></dt> 408 </span></dt> 406 <script>explorer.outline.writeEnabled = false;</script> 409 <script>explorer.outline.writeEnabled = false;</script> 407 410 408 <dd><pre> | 411 <dd><p> > 412 普通に Polemy のコードを動かすと、そのコードは「<tt>@value</tt> レイヤ」で動作します。 > 413 インタプリタで実験。 > 414 </p> > 415 <pre> > 416 $ bin/polemy > 417 Welcome to Polemy 0.1.0 > 418 >> 1 + 2 > 419 3 > 420 </pre> > 421 この、普通に、数字の 1 は数字の 1 として、2 は 2 として、足し算は足し算として実行するのが、 > 422 「<tt>@value</tt> レイヤ」です。 > 423 レイヤを明示的に指定するには、<tt>レイヤ名( ... )</tt> という構文を使います。 > 424 なので、以下のように書いても同じ意味です。 > 425 <pre> > 426 >> @value( 1 + 2 ) > 427 3 > 428 </pre> > 429 他のレイヤで動かしてみましょう。適当に。「<tt>@hoge</tt> イヤ」で。 > 430 <pre> > 431 >> @hoge( 3 ) > 432 polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(138 > 433 [<REPL>:4:8] lift function for @hoge is not registered > 434 </pre> > 435 <p> > 436 エラーになりました。Polemy のインタプリタは、起動時には<tt>@value</tt> > 437 レイヤでのコードの意味しか知りません。<tt>@hoge</tt> レイでは <tt>3</tt> > 438 というのがどんな意味なのか、わかりません！というエラが出ています。 > 439 </p> > 440 <p> > 441 これを教えてあげるためには、<tt>@hoge</tt> レイヤの <font color=red><b>リフト関数</b></font> を定義します。 > 442 </p> > 443 <pre> > 444 >> @@hoge = fun(x){ x*2 } > 445 (function:1bdc5c0:1ba8580) > 446 </pre> > 447 <p> > 448 「<tt>@ レイヤ名 = ...</tt>」文で、 > 449 </p> > 450 <pre> 409 [Layers :: Overview] 451 [Layers :: Overview] 410 452 411 Polemy's runtime environment has many "layer"s. 453 Polemy's runtime environment has many "layer"s. 412 Usual execution run in the @value layer. 454 Usual execution run in the @value layer. 413 455 414 >> 1 + 2 456 >> 1 + 2 415 3 457 3 ................................................................................................................................................................................ 952 <script>explorer.outline.decSymbolLevel();</script> 994 <script>explorer.outline.decSymbolLevel();</script> 953 995 954 996 955 </td></tr> 997 </td></tr> 956 <tr><td id="docfooter"> 998 <tr><td id="docfooter"> 957 Page was generated with 999 Page was generated with 958 <img src="candydoc/img/candydoc.gif" style="vertical-ali 1000 <img src="candydoc/img/candydoc.gif" style="vertical-ali 959 on Sat Nov 27 20:49:57 2010 | 1001 on Sat Nov 27 22:01:28 2010 960 1002 961 </td></tr> 1003 </td></tr> 962 </table> 1004 </table> 963 </div> 1005 </div> 964 <script> 1006 <script> 965 explorer.packageExplorer.addModule("index"); 1007 explorer.packageExplorer.addModule("index"); 966 explorer.packageExplorer.addModule("main"); 1008 explorer.packageExplorer.addModule("main");
Modified index.dd from [a3c506d4caf580c9] to [388d91fa67a7c403].
286 286 287 287 288 288 289 $(SECTION Layers, $(SECBODY 289 $(SECTION Layers, $(SECBODY 290 <p> 290 <p> 291 この言語の唯一の特徴的な部分は、「レイヤ」機能です。 291 この言語の唯一の特徴的な部分は、「レイヤ」機能です。 292 </p> 292 </p> > 293 <p> > 294 ひとつのコードに複数の「意味」を持たせるのが、レイヤ能の目的です。 > 295 </p> 293 $(DDOC_MEMBERS 296 $(DDOC_MEMBERS 294 $(SECTION Layers, $(SECBODY | 297 $(SECTION 概要, $(SECBODY > 298 <p> > 299 普通に Polemy のコードを動かすと、そのコードは「<tt>@value</tt> レイヤ」で動作します。 > 300 インタプリタで実験。 > 301 </p> > 302 <pre> > 303 $ bin/polemy > 304 Welcome to Polemy 0.1.0 > 305 >> 1 + 2 > 306 3 > 307 </pre> > 308 この、普通に、数字の 1 は数字の 1 として、2 は 2 として、足し算は足し算として実行するのが、 > 309 「<tt>@value</tt> レイヤ」です。 > 310 レイヤを明示的に指定するには、<tt>レイヤ名( ... )</tt> という構文を使います。 > 311 $(RED $(B レイヤ指定式)) と読んでいます。 > 312 つまり、さっきのコードは以下のようにも書けます。 > 313 <pre> > 314 >> @value( 1 + 2 ) > 315 3 > 316 </pre> > 317 他のレイヤで動かしてみましょう。適当に。「<tt>@hoge</tt> イヤ」で。 > 318 <pre> > 319 >> @hoge( 3 ) > 320 polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(138 > 321 [<REPL>:4:8] lift function for @hoge is not registered > 322 </pre> > 323 <p> > 324 エラーになりました。Polemy のインタプリタは、起動時には<tt>@value</tt> > 325 レイヤでのコードの意味しか知りません。<tt>@hoge</tt> レイでは <tt>3</tt> > 326 というのがどんな意味なのか、わかりません！というエラが出ています。 > 327 </p> > 328 <p> > 329 これを教えてあげるためには、<tt>@hoge</tt> レイヤの $(RED $(B リフト関数)) というものを定義します。 > 330 </p> > 331 <pre> > 332 >> @@hoge = fun(x){ x*2 } > 333 (function:1bdc5c0:1ba8580) > 334 </pre> > 335 <p> > 336 <tt>@hoge</tt> レイヤでは、<tt>1</tt> というコードの意味は <tt>2</tt>、 > 337 <tt>2</tt> というコードの意味は <tt>4</tt>、…、という、全部２倍した意味」を持っていることにします。 > 338 「<tt>@ レイヤ名 = ...</tt>」 という構文を使います。 > 339 ここには、「<tt>@value</tt> レイヤでの値 <tt>x</tt> は <tt>@hoge</tt> レイヤではどういう意味になるか？」 > 340 を計算して返す関数を登録します。 > 341 これで、Polemy にも、<tt>@hoge</tt> レイヤの意味がわかるようなりました。 > 342 </p> > 343 <pre> > 344 >> @hoge( 3 ) > 345 6 > 346 </pre> > 347 <p> > 348 では、1+2 を <tt>@hoge</tt> レイヤで動かしてみましょう。 > 349 </p> > 350 <pre> > 351 >> @hoge( 1 + 2 ) > 352 polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(466 > 353 [<REPL>:3:7] only @value layer can call native function: + > 354 [<REPL>:3:7] + > 355 </pre> > 356 <p> > 357 まだエラーですね。これは 実は、リフト関数は > 358 </p> > 359 <pre> > 360 >> @hoge "+" = fun(x, y) {x} > 361 </pre> 295 <pre> 362 <pre> 296 [Layers :: Overview] 363 [Layers :: Overview] 297 364 298 Polemy's runtime environment has many "layer"s. 365 Polemy's runtime environment has many "layer"s. 299 Usual execution run in the @value layer. 366 Usual execution run in the @value layer. 300 367 301 >> 1 + 2 368 >> 1 + 2 ................................................................................................................................................................................ 715 <br /> 782 <br /> 716 783 717 $(SECTION データ型判定, $(SECBODY 784 $(SECTION データ型判定, $(SECBODY 718 $(TABLE 785 $(TABLE 719 $(TR $(TH _isint) $(TD (a)) $(TD a が整数なら 1、でなければ 0)) 786 $(TR $(TH _isint) $(TD (a)) $(TD a が整数なら 1、でなければ 0)) 720 $(TR $(TH _isstr) $(TD (a)) $(TD a が文字列なら 1、でなければ 0)) 787 $(TR $(TH _isstr) $(TD (a)) $(TD a が文字列なら 1、でなければ 0)) 721 $(TR $(TH _isfun) $(TD (a)) $(TD a が関数なら 1、でなければ 0)) 788 $(TR $(TH _isfun) $(TD (a)) $(TD a が関数なら 1、でなければ 0)) 722 $(TR $(TH _istable) $(TD (a)) $(TD a がテーブルなら 1、でなければ 0)) | 789 $(TR $(TH _istbl) $(TD (a)) $(TD a がテーブルなら 1、でなければ 0)) 723 $(TR $(TH _isundefined) $(TD (a)) $(TD a が未定義値なら 1、でなければ 0)) | 790 $(TR $(TH _isbot) $(TD (a)) $(TD a が未定義値なら 1、でなければ 0)) 724 ) 791 ) 725 )) 792 )) 726 ) 793 ) 727 )) 794 )) 728 795 729 ) 796 ) 730 Macros: 797 Macros: 731 TITLE=Polemy Reference Manual 798 TITLE=Polemy Reference Manual 732 DOCFILENAME=index.html 799 DOCFILENAME=index.html 733 SECTION=$(DDOC_DECL $(DDOC_PSYMBOL $1)) $(DDOC_DECL_DD $2) 800 SECTION=$(DDOC_DECL $(DDOC_PSYMBOL $1)) $(DDOC_DECL_DD $2) 734 SECBODY=$0 801 SECBODY=$0
Modified polemy/eval.d from [6063476e92f43069] to [09f6f71388735bcb].
415 MemokeyType memokey = new MemokeyType(cast(void* 415 MemokeyType memokey = new MemokeyType(cast(void* 416 if(auto p = memokey in memo) 416 if(auto p = memokey in memo) 417 { 417 { 418 (*p)[1] ++; 418 (*p)[1] ++; 419 return (*p)[0]; 419 return (*p)[0]; 420 } 420 } 421 else 421 else 422 memo[memokey] = tuple(evlay.lift(new Bot | 422 memo[memokey] = tuple(cast(Value)new Bot 423 423 424 Value r = nonMemoizedRun(); 424 Value r = nonMemoizedRun(); 425 425 426 int touched = memo[memokey][1]; 426 int touched = memo[memokey][1]; 427 memo[memokey] = tuple(r, 12345678); 427 memo[memokey] = tuple(r, 12345678); 428 return r; 428 return r; 429 } 429 } ................................................................................................................................................................................ 463 override Value invoke(Layer lay, Table ctx, LexPosition 463 override Value invoke(Layer lay, Table ctx, LexPosition 464 { 464 { 465 if( lay != defLay ) 465 if( lay != defLay ) 466 throw genex!RuntimeException(pos, 466 throw genex!RuntimeException(pos, 467 text("only ", defLay, " layer ca 467 text("only ", defLay, " layer ca 468 T typed_args; 468 T typed_args; 469 foreach(i, Ti; T) { 469 foreach(i, Ti; T) { 470 typed_args[i] = cast(Ti) ctx.get(text(i) | 470 Value vi = ctx.get(text(i), ValueLayer, > 471 typed_args[i] = cast(Ti) vi; 471 if( typed_args[i] is null ) 472 if( typed_args[i] is null ) 472 throw genex!RuntimeException(pos 473 throw genex!RuntimeException(pos 473 sprintf!"type mismatch o | 474 sprintf!"type mismatch o 474 } 475 } 475 try { 476 try { 476 return dg(typed_args); 477 return dg(typed_args); 477 } catch( RuntimeException e ) { 478 } catch( RuntimeException e ) { 478 throw e.pos is null ? new RuntimeExcepti 479 throw e.pos is null ? new RuntimeExcepti 479 } 480 } 480 } 481 } ................................................................................................................................................................................ 481 } 482 } 482 theContext.set(name, defLay, new NativeFunValue(dg)); 483 theContext.set(name, defLay, new NativeFunValue(dg)); 483 } 484 } 484 } 485 } 485 486 486 version(unittest) 487 version(unittest) 487 import polemy.runtime; 488 import polemy.runtime; > 489 > 490 unittest > 491 { > 492 auto e = new Evaluator; > 493 enrollRuntimeLibrary(e); > 494 assert_eq( e.evalString(` > 495 @@foo(x){x*2}; > 496 @foo "+" (x,y){x}; > 497 @foo(3+4) > 498 `), new IntValue(6) ); > 499 } 488 500 489 unittest 501 unittest 490 { 502 { 491 auto e = new Evaluator; 503 auto e = new Evaluator; 492 enrollRuntimeLibrary(e); 504 enrollRuntimeLibrary(e); 493 auto r = assert_nothrow( e.evalString(`var x = 21; x + x*x;`) ); 505 auto r = assert_nothrow( e.evalString(`var x = 21; x + x*x;`) ); 494 assert_eq( r, new IntValue(BigInt(21+21*21)) ); 506 assert_eq( r, new IntValue(BigInt(21+21*21)) );
Modified polemy/parse.d from [454c7b7367a1305b] to [de23904b83613a4d].
380 foreach(p; path) 380 foreach(p; path) 381 e = new App(pos, new Var(pos, "."), e, new Str(p 381 e = new App(pos, new Var(pos, "."), e, new Str(p 382 return e; 382 return e; 383 } 383 } 384 private AST has(AST e, string k) { 384 private AST has(AST e, string k) { 385 auto pos = currentPosition(); 385 auto pos = currentPosition(); 386 return opAndAnd( 386 return opAndAnd( 387 new App(pos, new Var(pos, "_istable"), e), | 387 new App(pos, new Var(pos, "_istbl"), e), 388 new App(pos, new Var(pos, ".?"), e, new Str(pos, 388 new App(pos, new Var(pos, ".?"), e, new Str(pos, 389 ); 389 ); 390 } 390 } 391 private AST opAndAnd(AST a, AST b) { 391 private AST opAndAnd(AST a, AST b) { 392 if( a is null ) return b; 392 if( a is null ) return b; 393 if( b is null ) return a; 393 if( b is null ) return a; 394 auto pos = currentPosition(); 394 auto pos = currentPosition();
Modified polemy/runtime.d from [d6bfebbae7e5dfaf] to [00f787cfb5f7b260].
56 // type test 56 // type test 57 e.addPrimitive("_isint", ValueLayer, 57 e.addPrimitive("_isint", ValueLayer, 58 (Value v){return new IntValue(cast(IntValue)v !is null);} ); 58 (Value v){return new IntValue(cast(IntValue)v !is null);} ); 59 e.addPrimitive("_isstr", ValueLayer, 59 e.addPrimitive("_isstr", ValueLayer, 60 (Value v){return new IntValue(cast(StrValue)v !is null);} ); 60 (Value v){return new IntValue(cast(StrValue)v !is null);} ); 61 e.addPrimitive("_isfun", ValueLayer, 61 e.addPrimitive("_isfun", ValueLayer, 62 (Value v){return new IntValue(cast(FunValue)v !is null);} ); 62 (Value v){return new IntValue(cast(FunValue)v !is null);} ); 63 e.addPrimitive("_isundefined", ValueLayer, | 63 e.addPrimitive("_isbot", ValueLayer, 64 (Value v){return new IntValue(cast(BottomValue)v !is null);} ); 64 (Value v){return new IntValue(cast(BottomValue)v !is null);} ); 65 e.addPrimitive("_istable", ValueLayer, | 65 e.addPrimitive("_istbl", ValueLayer, 66 (Value v){return new IntValue(cast(Table)v !is null);} ); 66 (Value v){return new IntValue(cast(Table)v !is null);} ); 67 // table 67 // table 68 e.addPrimitive(".", ValueLayer, (Table t, StrValue s){ 68 e.addPrimitive(".", ValueLayer, (Table t, StrValue s){ 69 if( t.has(s.data, ValueLayer) ) 69 if( t.has(s.data, ValueLayer) ) 70 return t.get(s.data, ValueLayer); 70 return t.get(s.data, ValueLayer); 71 throw genex!RuntimeException(text("table do not have the field " 71 throw genex!RuntimeException(text("table do not have the field " 72 }); 72 });
Modified sample/helloworld.pmy from [0b93991cb774eeae] to [57f3802ead548897].
1 print( "Hello, World" ); 1 print( "Hello, World" ); 2 2 3 # Omake. How to use argv 3 # Omake. How to use argv 4 def print_list(xs) 4 def print_list(xs) 5 { 5 { 6 case xs when {car: x, cdr: xs}: ( | 6 case xs 7 print(x); < 8 print_list(xs) | 7 when {car: x, cdr: xs}: (print(x); print_list(xs)) 9 ) < > 8 when {} : () 10 }; 9 }; 11 print_list(argv); 10 print_list(argv);
Modified sample/type.pmy from [12b974146da19906] to [6a40040679ba714c].
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" < 5 else: "any" 4 else: "any" 6 }; 5 }; 7 6 8 def binop(a,b,c) { 7 def binop(a,b,c) { 9 fun(x,y){@value( 8 fun(x,y){@value( 10 if( @type(x)=="undefined" || @type(y)=="undefined" ) then "undefined" else | 9 if( _isbot( @type(x) ) || _isbot( @type(y) ) ) then @type(...) else 11 if( @type(x)==a && @type(y)==b ) then c else "error" 10 if( @type(x)==a && @type(y)==b ) then c else "error" 12 )} 11 )} 13 }; 12 }; 14 13 15 @type "+" = binop("int", "int", "int"); 14 @type "+" = binop("int", "int", "int"); 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 18 20 def mergeType(a,b) { 19 def mergeType(a,b) { 21 if( a == "undefined" ): ( if(b=="undefined"):"error" else b ) else ( a ) | 20 if( _isbot(a) ): ( if( _isbot(b) ):"error" else b ) else ( a ) 22 }; 21 }; 23 22 24 @type "if" = fun(c,t,e) {@value( 23 @type "if" = fun(c,t,e) {@value( 25 if(@type(c)=="int" ): mergeType(@type(t()), @type(e())) else : "error" 24 if(@type(c)=="int" ): mergeType(@type(t()), @type(e())) else : "error" 26 )}; 25 )}; 27 26 28 def fib(x) 27 def fib(x) 29 { 28 { 30 if x<2 then 1 else fib(x-1) + fib(x-2) 29 if x<2 then 1 else fib(x-1) + fib(x-2) 31 }; 30 }; 32 31 33 print( @type(fib(10)) ); 32 print( @type(fib(10)) );
Modified tricks/test.d from [3ba75b9c3bef69b2] to [3ff977492e8e9816].
38 try { test(); } catch( Throwable e ) { logError( 38 try { test(); } catch( Throwable e ) { logError( 39 } 39 } 40 40 41 bool report() 41 bool report() 42 { 42 { 43 if(firstError is null) 43 if(firstError is null) 44 return true; 44 return true; 45 derr.writefln("[TEST] The first error was:\n%s", < 46 derr.writeString("[TEST] press enter to exit."); 45 derr.writeString("[TEST] press enter to exit."); 47 din.readLine(); 46 din.readLine(); 48 return false; 47 return false; 49 } 48 } 50 49 51 foreach(m; ModuleInfo) 50 foreach(m; ModuleInfo) 52 if(m && m.unitTest) 51 if(m && m.unitTest)