オペレータとオペランドが一致しません。ML

Question

クラス用の関数を作成中ですが、このエラーが発生しています。

エラー：演算子とオペランドが一致していない[tyconの不一致]

オペレータドメイン： 'Zリスト

オペランド：' Y一覧 - >「Yリスト

式の

： はnull tl

fun removedub(L) = 
    if (null L) then nil 
    else if (null tl(L)) then hd(L) 
    else if hd(L) = hd(tl(L)) then removedub(tl(L)) 
    else hd(L) :: removedub(tl(L)); 



val list = ["a", "a", "b", "b", "c"]; 

removedub(list); 

私はこれをどのように修正するか、本当に何かヒントを引き起こしているのか分かりませんか？

Answer 1

かっこを間違って設定しました。あなたは

null tl(L) 

書くとき、次に、それは、あなたが欲しいしかし

null(tl)(L) 

と同じ意味を持ち

null(tl(L))