Wolfram言語（ウルフラム）
- Prologで関手（圏論とは無関係！）とか関数子と言っているものと同じデータ構造を持つようだ。
- 基本、関数型言語らしいが、Prologフレーバーな構文。
- パターン表現があって、引数渡しはパターンマッチング。これには異質な構文を使う、はじめて見た構文。
- リスト {a, b, c} は List[a, b, c] のシンタックスシュガー。中置二項演算子も同様にシンタックスシュガー。Prologと同じ方式。
- 型なしの言語である。型つうか型風タグに関数子の名前＝頭部を使う。Erlangもそうだった。ここらもPrologの系譜か。
- 数は無限多倍長整数ベースの有理数
- 複素単位Iを使って複素数
- 浮動小数点数の扱いはよくワカラン。
- {1, 2} のようにしてリスト、囲み記号がブレイス。
- {{1, 2}, {3, 4}} は行列としても使える。
- 記号アトム（データとしての名前）がある。
- 束縛されてない記号アトムは自分自身を値にする。名前の評価エラーは起きない。ここは古風なLispっぽい。
- セミコロンで手続き的な順次実行になる。
- Module[ ] で名前のスコープを作れる。Moduleの第1引数はローカル名を宣言するリスト。
- 真偽値はTrue, False
- name->value をオプションというようだ。
- オプションのリストをマップ／ディクショナリのように使うみたい。
- それとは別に連想配列がある。囲み記号が <| |>
- リストも連想配列もインデクシングは x[[i]]、なんかRみたいだ。
- インデクシングの連続適用は、[["b", 1, 3]] のように。
- 範囲を取り出すスライスは x[[i ;; j]]。セミコロン2つが範囲演算子みたい。
- オプションは単なる便利構文で、連想配列はデータってことか？
- 高階関数Map, Applyがある。Applyに第2引数がリストで、リストは引数並びに展開される。
- 匿名関数、ラムダ式を、なんと「純関数」という。激しくワケワカラン呼び方。
- 純関数＝ラムダ式のラムダ引数は、#1, #2, ... で表す。TeXみたい。1個なら#でよい。
- (ラムダ本体式)& という変態構文でラムダ式を表す。丸括弧はときに省略可能。
- Function[{x_, y_}, 本体の式] という書き方もある。Functionの第一引数は引数リスト。
- 代入を割当てと呼んでいる。
- 即時割当てと遅延割当てがある。Makeと似ている。
- パターンという構文がある。ワイルドカードの_と__、ORの | が使える。
- 入れ子パターンも使える。特に入れ子リストのパターンに便利。入れ子パターンは、構造的データの取扱に便利そう。
- __ は列とマッチする、というが「列」って何？ リストとは違うみたいだ。
- _Name は、頭部がNameである関数子とマッチする。これも、どことなくPrologっぽい。
- 評価できないなら、記号アトムまたは関数子としてそのまま残すみたい。型なしだし、なかなかエラーが起きないだろう。良し悪しだな。
- 関数定義に、f[x_] := 式 /; 条件 という形でガード付き定義を使える。ガードが満足しないと式に展開されない。
- 評価は項書換えのようだ。関数定義は項書換えルール。
サンプルによると、再帰的な定義は次のように書ける。
f[1] = 1 f[n_] := n f[n - 1]
掛け算が併置（空白）でいいのか？ へーー。
