type使えば型に別名付けれるのか。C++のtypedefっぽい。 以下は、float*floatなタプルを例に、そのデータ型に対する+演算子をオーバーロードしてベクトルの和を計算させてみるって簡単な話。 > type Vector2D<'a> = 'a*'a;; type Vector2D<'a> = 'a * 'a > l…