型パラメータ(ジェネリクス)

型パラメータは,通常大文字1文字(英語のアルファベット)で書きます。慣例として,Aから始まり必要に応じてZまで順に使っていきます。TKVKなどを使うJavaとは対照的です。例えば次の様に書きます。

class List[A] {
  def map[B](f: A => B): List[B] = ...
}

前のトピックへ

フィールド

次のトピックへ

高階型

このページ

別のフォーマット

貢献