だんだんそれっぽくなってきた。 多相型 型の中に型変数を含めることで、任意の型に適用可能な関数を定義できる。これジェネリクスってことかなあ。 教科書に書いてあるlength関数の例は、 length :: [a] -> Int なんだけど、C#で言えば、 static int Length<T></t>…