mlファミリーは(parametric polymorphism)とファンクタと呼ばれるジェネリックモジュールを利用してのジェネリックプログラミングを推奨する。