プログラミング言語のMLファミリーはパラメトリックな多態(parametricpolymorphism)とファンクタと呼ばれるジェネリックモジュールを利用してのジェネリックプログラミングを推奨する.
プログラミング言語の