Viivi 00.09 リリース・ノート

第00.09.00版では，第00.08.00版から以下のような改良を行いました．

• エラー情報の表示を改良しました．


• マクロ処理のアルゴリズムを一部変更しました．


• シンボルや文字列の中に使えるUnicode文字の種類を増やしました．
  '●' や '■' のような記号文字や，罫線文字なども使えるようになりました．


• オブジェクトを直接表現する表現式を受け付けるオプションを追加しました．

  コマンドラインオプション

  	-D N
  				

  または手続き呼び出し

  	(viivi-set! direct-input-objects N)
  				

  ただし

  	N は1,2,4のビット和
  				

  を与えることにより，オブジェクトを直接表現する表現式
  
  
  • 1  ...  組み込み済みオブジェクトの直接表現式

    	(例) #<procedure:let>   ; 組み込み済み手続き let
    	     #<procedure:cos>   ; 組み込み済み手続き cos
    	     #<constant:PI>     ; Viivi 独自拡張，定数値円周率
    				など
    						

  • 2  ...  未定値の直接表現式

    	     #<unspecified>
    						

  • 4  ...  ニルの直接表現式

    	     #<nil>
    						

  をS式内に指定することができます．

  このオプションを導入した主な目的は次の2点です:

  • a. シンボルの束縛関係に頼らずに組み込み手続き(および組み込み定数)を 直接指定する．
    
    Viivi では トップレベルで組み込み済み手続きを表すシンボルの束縛関係を変更してしまうと その手続きが二度と使えなくなってしまったり， また， たとえば以下のように，組み込み済み手続きを参照するクロージャの定義後に トップレベルで組み込み済み手続きを表すシンボルの束縛関係を変更してしまうと 定義したクロージャの挙動が期待したものとは異なるものになってしまうという 問題点がありました．

    	1> (define (func arg) (if arg 100 200))  ; クロージャの定義
    	2> (func #t)         ; 100 となる．これは問題ない．
    	3> (define if list)  ; トップレベルで if を上書きしたら
    	4> (func #t)  ; (#t 100 200) となる．100 となるべきなのか？
    							

    このような場合， クロージャ定義時に組み込み済み手続き「if」の直接指定を使えば 問題を回避できます．

    	1> (define (func arg) (#<procedure:if> arg 100 200))
    			     ; 組み込み済み手続き if を直接指定した
    	2> (func #t)         ; 100 となる．これは問題ない．
    	3> (define if list)  ; トップレベルで if を上書きしても
    	4> (func #t)         ; 期待通り 100 となる．
    							

    トップレベルで変更してしまった束縛関係を 元のものに修復することも可能です．

    	1> (define cos -)
    	2> (cos 30)    ; --> -30   「cos」が「-」になってしまった！
    	3> (define cos #<procedure:cos>)    ; 修復
    	4> (cos 30)    ; --> 0.15425144988758405
    		       ; cos の本来の挙動に戻った
    							

  • b. インタプリタの出力をそのまま別のインタプリタの入力として使う (ための準備．まだ改良が必要．)



• 小さなバグ修正．