std::data::list

このページでは、不変な list と、その Index、Fold、+（連結）の操作を扱う。

構築

[]
[1, 2, 3]
my head = 0
my tail = [1, 2]
[head, ..tail]

std::data::list::empty()              // []
std::data::list::singleton 1          // [1]
std::data::list::cons(0, [1, 2])      // [0, 1, 2]

[ ... ] リテラルが日常形。 cons と singleton は type variable の情報を残したいときに役立つ。

index とスライス

my xs = [10, 20, 30, 40]

xs[0]            // 10
xs[xs.len - 1]   // 40
xs[1..<3]        // [20, 30]
xs[..2]          // [10, 20, 30]
xs[1..]          // [20, 30, 40]

list 'a は Index を int と range の両方に実装する。 範囲外の int index と、末尾を超える range スライスは実行時に失敗する。

長さと述語

my xs = [10, 20, 30, 40]

xs.len              // 4
std::data::list::is_empty xs    // false

Len を通じて xs.len が使える。

反復

my xs = [10, 20, 30, 40]

for x in xs:
    say x

xs.fold 0 (\acc x -> acc + x)

list 'a は Fold を実装するので、for も fold も使える。 for の body は、各要素を引数とする関数 application になる。

変換

my xs = [10, 20, 30, 40]
my double x = x * 2

xs.map double                          // [20, 40, 60, 80]
xs.filter (\x -> x > 15)               // [20, 30, 40]
xs.rev                                 // [40, 30, 20, 10]
xs.sort                                // [10, 20, 30, 40]
xs.append [50, 60]                     // [10, 20, 30, 40, 50, 60]
xs + [50, 60]                          // 同じ — list は Add を実装

map / filter / rev / sort / append は新しい list を返す。 元の list は変わらない。

先頭・末尾の取得

my xs = [10, 20, 30, 40]
my default = 0

xs.first    // opt::just 10
xs.last     // opt::just 40

case std::data::list::uncons xs:
    opt::just (head, tail) -> head
    opt::nil               -> default

first と last は空の list に対して nil を返す。 uncons も先頭と残りの組がなければ nil を返す。

可変な list 参照

{
    my $xs = [1, 2, 3]
    &xs[1] = 99
    my after_update = $xs
    &xs.push 4           // list の ref method 経由
    (after_update, $xs)  // ([1, 99, 3], [1, 99, 3, 4])
}

xs が参照に入っているとき（my $xs = ...）、ref _ (list _) 用の Index impl で &xs[i] = value が書ける。 &xs.push v も対応する ref method を通る。

非決定性

use std::control::nondet::*

my xs = [10, 20, 30, 40]

(each xs).list
(each xs).once

each は要素を 1 つ非決定的に選ぶ。 .list はすべての分岐を新しい list に集める、.once は最初の 1 つを opt で返す。

早見表

操作	シグネチャ
empty()	() -> list 'a
singleton(x)	'a -> list 'a
cons(x, xs)	'a -> list 'a -> list 'a
is_empty(xs)	list 'a -> bool
xs.len	list 'a -> int
xs.map f	list 'a -> ('a -> 'b) -> list 'b
xs.filter p	list 'a -> ('a -> bool) -> list 'a
xs.fold z f	list 'a -> 'b -> ('b -> 'a -> 'b) -> 'b
xs.rev	list 'a -> list 'a
xs.append ys	list 'a -> list 'a -> list 'a
xs.sort	list 'a -> list 'a（Ord 'a を要求）
xs.first / xs.last	list 'a -> opt 'a
uncons(xs)	list 'a -> opt ('a, list 'a)

関連ページ

• pattern → list pattern
• std::data::range：スライスと反復に使う range
• std::control::nondet：非決定的な反復