このパートでは、複数の値で構成されるデータの取り扱いの基礎を扱います。

レッスン1　列挙演算子

値を列挙演算子,で区切ると、それらの値を前から「順番に挙げるもの」となります。

$ fl7 '1, 2, 3, 4, 5'
1
2
3
4
5

ソースコードがこのような「順番に挙げるもの」であった場合、それらは改行を挟んで1行に1個ずつ出力されます。

,は無駄に大量に記述しても、単に無視されます。

$ fl7 ',,,,,2,,,6,,,8,,,,,,'
2
6
8

列挙をはじめとする「順番に挙げるもの」全般を、fluorite-7ではストリーマ（流れをもたらすもの）と呼びます。

レッスン2　値の型

ストリーマは数値とは値の種類が異なります。
値の種類のことを型と呼びます。
値の型は「TYPE(値)」と記述することで文字列として取得できます。

列挙演算子の型は常にSTREAMERです。

$ fl7 'TYPE(10)'
NUMBER

$ fl7 'TYPE(10.5)'
NUMBER

$ fl7 'TYPE(10, 11)'
STREAMER

$ fl7 'TYPE(Hello)'
STRING

2個の整数の間を範囲演算子..もしくは~で繋ぐと、それは範囲を表すストリーマです。
..は終端を含み、~は終端を含みません。

$ fl7 '1 .. 5'
1
2
3
4
5

$ fl7 '1 ~ 5'
1
2
3
4

終端が始端よりも小さい場合、範囲演算子はカウントダウンするストリーマをもたらします。
この場合も、~は「終端」を含みません。

$ fl7 '2 .. -2'
2
1
0
-1
-2

$ fl7 '2 ~ -2'
2
1
0
-1

列挙演算子の項目がストリーマだった場合、それは展開されてフラットなストリーマになります。
すなわち、,はストリーマ同士を連結します。
ストリーマを入れ子にすることはできません。

$ fl7 '1, ((2, 3), 4 .. 6), (7 .. 9),'
1
2
3
4
5
6
7
8
9

式を配列初期化子[ ]で囲むと、配列を得ることができます。
式はストリーマでも、1個の数値でも、空でもかまいません。

$ fl7 '[-10, 5 .. 10, 10 * 20]'
-10,5,6,7,8,9,10,200

$ fl7 '[200]'
200

$ fl7 '[]'

ソースコードの値が配列だった場合、含まれる値を先頭から順に,で繋いで横に並べて出力します。
ストリーマと配列を組み合わせると、表のような形式の出力が得られます。

$ fl7 '[1, 2], [3, 4]'
1,2
3,4

ストリーマと異なり、配列は入れ子にできます。

$ fl7 '0, [1, [2, 3], 4], 5'
0
1,2,3,4
5

これだけではよく分からないので、データを文字列化するJSON関数を先取りしてデータ構造を見てみましょう。

$ fl7 'JSON(0, [1, [2, 3], 4], 5)'
0
[1,[2,3],4]
5

配列が入れ子になった状態で保存されていることが分かります。

「配列[添え字]」という形で配列の要素にアクセスできます。
これは要素アクセス演算子と呼びます。
添え字は0から始まります。

$ fl7 '[123, 456, 789][1]'
456

添え字には式を記述することもできます。

$ fl7 '[123, 456, 789][[-1 .. 10][1 + 1]]'
456

配列の領域を超えたアクセスをした場合は、NULLという特殊な値が帰ります。

$ fl7 '[123, 456, 789][10]'
NULL

NULLは数値でも文字列でもない、無を表す特殊な値です。
NULLが欲しい場合、組み込み定数NULLを使用します。

$ fl7 'NULL, TYPE(NULL), TYPE(TYPE(NULL)), JSON(NULL, "NULL")'
NULL
NULL
STRING
null
"NULL"

NULLの型はNULLです。
STRING型である、文字列の"NULL"とは異なります。

ストリーマから配列を作るには、単に[ ]で囲めばよいのでした。
一方で配列からストリーマを作るには、配列の後に空の[]を付けます。
これをストリーマ展開と呼びます。

$ fl7 '[1, 2, 3][]'
1
2
3

配列から作ったストリーマも、他のストリーマと連結したり、再び配列にしたりできます。

$ fl7 '[0, [1, 2, 3][], 4 .. 5]'
0,1,2,3,4,5

$ fl7 'JSON([0, [1, 2, 3][], 4 .. 5])'
[0,1,2,3,4,5]

配列に対して、前置$#を付けることでその配列の要素数を得ます。
この演算子を長さ演算子と呼びます。

$ fl7 '$#[100, 200, 300]'
3

$ fl7 '$#[-125 .. -199, 45 ~ -3, 5, 0 .. 2]'
127

入れ子になった配列は、最も外側の配列の要素数を返し、含まれる配列は1個の要素としてカウントします。

$ fl7 '$#[100, [1 .. 200], 300]'
3

ストリーマに対して+符号をつけると、ストリーマの合計値を得ます。

$ fl7 '+(1 .. 10)'
55

配列に対して+符号とストリーマ展開演算子[]を両方付けると、先にストリーマ展開が行われ、そのあとで符号が作用して合計値が得られます。
fluorite-7では、ほとんどの後置演算子は前置演算子に先行します。

$ fl7 '+[1 .. 10][]'
55

なお、配列に対して+符号をつけると$#演算子と同様に配列の要素数が得られますが、これは推奨されません。

前置+演算子は、実は単純な符号でなく、数値化演算子なのです。
数値の数値化はその数値自体を返します。
そして、ストリーマの数値化は各要素を数値化したものの合計値です。