レッスン1　数値リテラル

0から9までの数字の塊は整数リテラルです。

$ fl7 '123456'
123456

先頭が0で始まっても10進数です。

$ fl7 '0123456'
123456

ピリオド.が1個数字列の間に挟まった数字の塊は小数リテラルです。
小数リテラルは浮動小数点数を生み出します。

$ fl7 '00003.140000'
3.14

末尾にeもしくはEに続いて整数が書かれたものは指数リテラルです。
指数リテラルも浮動小数点数を生み出します。

$ fl7 '00003.140000E100'
3.14e+100

$ fl7 '00003.140000e-100'
3.14e+-00

$ fl7 '00003.140000e+000100'
3.14e+100

レッスン2　丸括弧

括弧演算子( )は、囲んだ内部のひとまとまりの式を表します。
括弧演算子は式の区切りを明確にするだけで、（この時点では）特別な効果は何も効果はありません。
式の区切りを与える効果はしばしば「先に計算する」のように表現されます。

$ fl7 '(00003.140000)'
3.14

括弧演算子は同じ対象に好きなだけ大量に書けます。

$ fl7 '(((((00003.140000)))))'
3.14

レッスン3　符号

前置+および-は符号の演算子です。

+は数値に対しては特に何もせず、-は数値を負にします。

$ fl7 '+00003.140000'
3.14

$ fl7 '-00003.140000'
-3.14

符号は数値リテラル以外に対しても書けます。
その場合も効果は概ね変わりません。

$ fl7 '-(00003.140000)'
-3.14

$ fl7 '-(-(00003.140000))'
3.14

符号は同じ対象に大量に書けます。

$ fl7 '+-++-+---+--++-+-++--+-00003.140000'
3.14

この場合、符号列の右から順に効果を適用します。
数値の3.14に対してまず-で符号を反転させ、次に+で何もせず、2連続の-の効果で符号を2回逆転させ、以降同様の処理を残りの全ての符号に対して適用します。

レッスン4　四則演算

中置+ - * /演算子は、それぞれ加算・減算・乗算・除算です。
整数同士の除算は小数になります。

$ fl7 '1 + 2'
3

$ fl7 '1 - 2'
-1

$ fl7 '1 * 2'
2

$ fl7 '1 / 2'
0.5

演算子には結合の優先度があり、乗除算は加減算よりも先にまとまります。

$ fl7 '1 + 2 * 10'
21

$ fl7 '1 + (2 * 10)'
21

$ fl7 '(1 + 2) * 10'
30

また、四則演算においては、同じ結合優先度の演算子同士は左から順にまとまります（左優先結合）。

$ fl7 '1 - 2 - 3'
-4

$ fl7 '(1 - 2) - 3'
-4

$ fl7 '1 - (2 - 3)'
2

レッスン5　べき乗

fluorite-7では、べき乗を中置^で表現します。

$ fl7 '2 ^ 8'
256

べき乗演算子は乗除算演算子よりも結合優先度が高く、かつ右優先結合です。

$ fl7 '10 * 2 ^ 2 ^ 3 * 10'
25600

$ fl7 '10 * (2 ^ (2 ^ 3)) * 10'
25600

fluorite-7では、すべての前置演算子は、すべての中置演算子よりも結合優先度が高いです。
これはべき乗よりも符号が優先されることを意味します。

$ fl7 '-2 ^ 4'
16

$ fl7 '(-2) ^ 4'
16

$ fl7 '-(2 ^ 4)'
-16

これは数学の式や他のいくつかの言語と異なり、Excelと似ています。

$ perl -E 'say -2 ** 4'
-16

レッスン6　剰余

中置%は剰余演算子です。
剰余演算子は乗除算演算子と同優先度です。
細かい仕様はJavaScriptの同演算子に従います。

$ fl7 '10 % 3'
1

$ fl7 '10.5 % 3.33'
0.5099999999999998

$ fl7 '-10.5 % 3.33'
-0.5099999999999998

$ fl7 '-10.5 % -3.33'
-0.5099999999999998

$ fl7 '10.5 % -3.33'
0.5099999999999998

$ fl7 '10.5 - 3.33 * 3'
0.5099999999999998

レッスン7　無限大と非数

いくつかの数値を扱う演算では、入力次第で結果が無限大INFINITYや非数NANとなります。

$ fl7 '1 / 0'
INFINITY

$ fl7 '0 / 0'
NAN

$ fl7 '-1 / 0'
-INFINITY

fluorite-7では整数を整数の0で割ってもゼロ除算エラーにはなりません。

これらの値が直接欲しい場合は、INFINITYやNANと記述します。

$ fl7 'INFINITY'
INFINITY

$ fl7 'NAN'
NAN

$ fl7 '-INFINITY'
-INFINITY

fluorite-7では未定義識別子は同内容の文字列になるので、これだけでは分かりませんね。
ではTYPE関数を先取りして「値の型」を見てみましょう。

$ fl7 'TYPE(INFINITY)'
NUMBER

$ fl7 'TYPE(NAN)'
NUMBER

$ fl7 'TYPE(-INFINITY)'
NUMBER

$ fl7 'TYPE(INFINITYYYYY)'
STRING

$ fl7 'TYPE(NaN)'
STRING

INFINITYとNANだけが数値で、他は文字列として出力されていることが分かります。

まとめ

数値リテラルがある。
式を括弧で囲える。
符号・四則演算・剰余・べき乗ができる。
整数同士の/は小数になる。
前置演算子は中置演算子より優先される。
0除算はINFINITYやNANになる。

Part 3

次回→