There are no words to descirbe how bodacious this is.
以下妄想です。

#ref(satori-chop.zip)

*特殊構文 [#xaec2d5d]
引数は事前に評価（括弧展開）されない。

**when [#m767839f]
外部関数ifと同等。
***仕様 [#d9861dcb]
:呼び出し|（when、式、真の場合[、偽の場合]）
:振る舞い|「式」が計算が計算され、結果が0以外なら「真の場合」を返し、0なら「偽の場合」を返す。

***例 [#o7251c72]
 ＊さんぷる１
 ：ifの場合
 （set、変数１、０）（set、変数２、０）
 （if、１、（set、変数１、１）、（set、変数２、１））
 変数１は（変数１）＃＝＞１
 変数２は（変数２）＃＝＞１
 ：whenの場合
 （set、変数１、０）（set、変数２、０）
 （when、１、（set、変数１、１）、（set、変数２、１））
 変数１は（変数１）＃＝＞１
 変数２は（変数２）＃＝＞０
 
 ＊さんぷる２
 ：１０の階乗は（call、階乗、１０）です。
 
 ＠階乗
 （when、（calc、１＜（Ａ０））、
 	（calc、（Ａ０）＊（call、階乗、（calc、（Ａ０）－１）））、
 	１）

**times [#sdec22f8]
回数を指定したループ。
loopと違って、引数の括弧は事前に展開されない。
ループ本体はラベルとして呼び出されずに直接評価される。
ラベルは括弧やcallで明示的に呼び出す必要があるので注意。
また、loopとは引数の順番が違うので注意。
（ループ本体が大きくなると予想されるため入れ替えた）
***仕様 [#s75adb80]
:呼び出し|（times、回数[、カウンタ初期値=0]、ループ本体）
:振る舞い|「ループ本体」を「回数」回繰り返し、戻り値を連結して返す。
-「回数」は式として１回だけ計算される。
-本体および呼び出し先で（Ｃ？）と書くことでカウンタを取得できる。
-現ループのカウンタは（Ｃ０）。１つ上のカウンタは（Ｃ１）。
-「カウンタ初期値」を引数で指定できる。デフォルトの値は0。
-「カウンタ初期値」、「回数」の順で括弧展開、計算される。

***例 [#kf5eb2b1]
 ＊さんぷる１
 ピザって１０回言って。\w9
 ：（times、１０、ピザφ、\w2）
 ：ここは？\w9
 ：・・・\w5埼玉。
 
 ＊さんぷる２
 ：（times、９、１、（Ｃ０）＋）10は？\w9
 ：・・・（call、級数、１０）！
 
 ＠級数
 （when、（calc、１＜（Ａ０））、
 	（calc、（Ａ０）＋（call、級数、（calc、（Ａ０）－１）））、
 	１）
 
 ＊さんぷる３
 ：点呼！
 （times、３、１、（times、３、１、（call、点呼）））
 
 ＊点呼
 （Ｃ１）年（Ｃ０）組、そろいました。

**while [#ob78c036]
条件式によるループ。
***仕様 [#u440e8ba]
:呼び出し|（while、式[、カウンタ初期値]、ループ本体）
:振る舞い|「式」を計算した値が真（0以外）である間、ループ本体を繰り返し結果を連結して返す。
-「式」は繰り返す度に再計算される。
-本体および呼び出し先で（Ｃ？）と書くことでカウンタを取得できる。
-「カウンタ初期値」は引数で指定する。デフォルトの値は0。
-カウンタはtimes、forとも共有される。
-「式」に先立って「カウンタ初期値」が括弧展開、計算される。
***例 [#c0503010]
 ＊さんぷる１
 素数を数えるんだ！\w9
 ：1、（call、素数、１００）
 ：……１は素数じゃないよ。
 
 ＠素数
 （while、（Ｃ０）＜＝（Ａ０）、２、
 	（set、約数、０）
 	（while、（Ｃ０）＜（Ｃ１）、２、
 		（when、（Ｃ１）％（Ｃ０）＝＝０、
 			（set、約数、１）））
 	（when、（約数）＝＝０、（Ｃ０）φ、））


**for [#l4af530b]
内部関数loopと同様。ただし、ループ本体はラベルとして呼び出されない。
***仕様 [#kc226c50]
:呼び出し|（for、開始値、終了値[、増分]、ループ本体）
:振る舞い|カウンタが「開始値」から「終了値」に向かって「増分」ずつ進み、その度に「ループ本体」を繰り返すし、結果を連結して返す。
-「開始値」、「終了値」、「増分」は事前に括弧展開され、式として計算される。
-「増分」は正で指定するが、loopと同様に負で指定しても問題ない。（「開始値」と「終了値の」大小関係に応じて修正される。）
-「増分」に０を指定することはできない。
-「増分」の初期値は1。
-「開始値」、「終了値」、「増分」の順で括弧展開、計算される。
***例 [#rd1ecc2c]
 ＊さんぷる１
 高速に素数を数えるんだ！\w9
 ：（call、素数、１００）
 ：……しかしオーダーは変わらないという……。
 
 ＠素数
 2、3、φ
 （for、５、（Ａ０）、２、
 	（set、約数、０）
 	（for、３、（Ｃ１）－１、２、
 		（when、（Ｃ１）％（Ｃ０）＝＝０、
 			（set、約数、１）））
 	（when、（約数）＝＝０、（Ｃ０）φ、））
 

#comment
トップ   編集 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS