Haskellの型コンストラクタとjavaジェネリック型の違いは何ですか？

Question

私はHaskellで経験のないモナドについて何かを読んでいて、タイプコンストラクタのコンセプトと混同しています。

モナドは三重で​​（M、unitM、bindM）型コンストラクタM及び多型関数のペアからなります。 Javaでは

unitM :: a -> M a 

bindM :: M a -> (a -> M b) -> M b 

は：

public class M<T> { 
    static <T> M<T> unit(T a) 
    static <T,R> M<R> bind(M<T> a, Function<T,M<R>> f) 
} 

私は右だ、彼らは同じ、型コンストラクタは、Javaにおけるジェネリック型のようなだけで何かであると考えますか？そうでない場合、違いは何ですか？

Answer 1

あなたは私に混同しないでください。これは、HaskellのMonadクラスのJavaへの異常な翻訳のように見えます。 Haskellで

は、「タイプ」は、無未指定されたパラメータで具象型である任意の固定TためInteger、M<String>、又はM<T>が挙げられます。 Mのような1つ以上の残りのパラメータを持つものは、型のコンストラクタのような型コンストラクタです。具体的な型を生成するには1つの型引数（Tの値）を指定する必要があります。