bugyo/里々拡張案

以下妄想です。

satori-chop.zip

特殊構文†

引数は事前に評価（括弧展開）されない。

when†

外部関数ifと同等。

仕様†

呼び出し

（when、式、真の場合[、偽の場合]）

振る舞い

「式」が計算が計算され、結果が0以外なら「真の場合」を返し、0なら「偽の場合」を返す。

例†

＊さんぷる１
：ifの場合
（set、変数１、０）（set、変数２、０）
（if、１、（set、変数１、１）、（set、変数２、１））
変数１は（変数１）＃＝＞１
変数２は（変数２）＃＝＞１
：whenの場合
（set、変数１、０）（set、変数２、０）
（when、１、（set、変数１、１）、（set、変数２、１））
変数１は（変数１）＃＝＞１
変数２は（変数２）＃＝＞０

＊さんぷる２
：１０の階乗は（call、階乗、１０）です。

＠階乗
（when、（calc、１＜（Ａ０））、
	（calc、（Ａ０）＊（call、階乗、（calc、（Ａ０）－１）））、
	１）

times†

回数を指定したループ。 loopと違って、引数の括弧は事前に展開されない。 ループ本体はラベルとして呼び出されずに直接評価される。 ラベルは括弧やcallで明示的に呼び出す必要があるので注意。 また、loopとは引数の順番が違うので注意。 （ループ本体が大きくなると予想されるため入れ替えた）

仕様†

呼び出し

（times、回数[、カウンタ初期値=0]、ループ本体）

振る舞い

「ループ本体」を「回数」回繰り返し、戻り値を連結して返す。

• 「回数」は式として１回だけ計算される。
• 本体および呼び出し先で（Ｃ？）と書くことでカウンタを取得できる。
• 現ループのカウンタは（Ｃ０）。１つ上のカウンタは（Ｃ１）。
• 「カウンタ初期値」を引数で指定できる。デフォルトの値は0。
• 「カウンタ初期値」、「回数」の順で括弧展開、計算される。

例†

＊さんぷる１
ピザって１０回言って。\w9
：（times、１０、ピザφ、\w2）
：ここは？\w9
：・・・\w5埼玉。

＊さんぷる２
：（times、９、１、（Ｃ０）＋）10は？\w9
：・・・（call、級数、１０）！

＠級数
（when、（calc、１＜（Ａ０））、
	（calc、（Ａ０）＋（call、級数、（calc、（Ａ０）－１）））、
	１）

＊さんぷる３
：点呼！
（times、３、１、（times、３、１、（call、点呼）））

＊点呼
（Ｃ１）年（Ｃ０）組、そろいました。

while†

条件式によるループ。

仕様†

呼び出し

（while、式[、カウンタ初期値]、ループ本体）

振る舞い

「式」を計算した値が真（0以外）である間、ループ本体を繰り返し結果を連結して返す。

• 「式」は繰り返す度に再計算される。
• 本体および呼び出し先で（Ｃ？）と書くことでカウンタを取得できる。
• 「カウンタ初期値」は引数で指定する。デフォルトの値は0。
• カウンタはtimes、forとも共有される。
• 「式」に先立って「カウンタ初期値」が括弧展開、計算される。

例†

＊さんぷる１
素数を数えるんだ！\w9
：1、（call、素数、１００）
：……１は素数じゃないよ。

＠素数
（while、（Ｃ０）＜＝（Ａ０）、２、
	（set、約数、０）
	（while、（Ｃ０）＜（Ｃ１）、２、
		（when、（Ｃ１）％（Ｃ０）＝＝０、
			（set、約数、１）））
	（when、（約数）＝＝０、（Ｃ０）φ、））

for†

内部関数loopと同様。ただし、ループ本体はラベルとして呼び出されない。

仕様†

呼び出し

（for、開始値、終了値[、増分]、ループ本体）

振る舞い

カウンタが「開始値」から「終了値」に向かって「増分」ずつ進み、その度に「ループ本体」を繰り返すし、結果を連結して返す。

• 「開始値」、「終了値」、「増分」は事前に括弧展開され、式として計算される。
• 「増分」は正で指定するが、loopと同様に負で指定しても問題ない。（「開始値」と「終了値の」大小関係に応じて修正される。）
• 「増分」に０を指定することはできない。
• 「増分」の初期値は1。
• 「開始値」、「終了値」、「増分」の順で括弧展開、計算される。

例†

＊さんぷる１
高速に素数を数えるんだ！\w9
：（call、素数、１００）
：……しかしオーダーは変わらないという……。

＠素数
2、3、φ
（for、５、（Ａ０）、２、
	（set、約数、０）
	（for、３、（Ｃ１）－１、２、
		（when、（Ｃ１）％（Ｃ０）＝＝０、
			（set、約数、１）））
	（when、（約数）＝＝０、（Ｃ０）φ、））