- バックアップ一覧
- 差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- バックアップ を表示
- :/汎用記法の引数では順番無視して型で合わせる へ行く。
- 1 (2016-04-20 (水) 00:09:22)
- 2 (2016-04-20 (水) 00:09:58)
- 追加された行はこの色です。
- 削除された行はこの色です。
RIGHT:[[:t/型]] [[:t/汎用記法]] [[:t/順不同]] RIGHT:[[:t/型]] [[:t/汎用記法]] 複数の引数をとる記法では、どんな順序で引数を与えても自動的に調整。同じ型の仮引数/実引数同士を対応付ける。同じ型が複数あれば順序通りに関連付け。 引数を取るような記法は汎用記法だけ。 でもデータコンテキストの仕組みによって自動的な型変換が行われるので、型の対応付けができない。もういい。 書きやすくするなら引数ラベル(パラメーターラベル)で。 → [[]] → [[:i/汎用記法で名前付きパラメーター]]