昇順に並んでいる整数リストasに、昇順を維持したまま新しい整数xを挿入する関数interSortedList(as,x)
を定義したいのですが、何回プログラムを実行してもコンパイルエラーが出てしまいます。
私は以下のようにプログラムしました。
insertSortedList([],x)=x
insertSortedList(a:as,x)=if x<a then x:a:as else sort(as,x)
*関数sortはすでに定義積みなので割愛。
片方のリストが空だった場合には、そのまま新しい整数xを挿入するだけなので、xと定義する。(insertSortedList([],x)=x
)
両方のリストが空ではない場合、もし、挿入する数字xがa未満の場合、xはリストのどの値よりも小さいので、先頭に挿入する。そうでない場合、リストの残りasの中に挿入する。(insertSortedList(a:as,x)=if x<a then x:a:as else sort(as,x)
)
このように考えたのですが、次のようなエラーが出てきました。
Prelude> :l sample1002.hs
[1 of 1] Compiling Main ( sample1002.hs, interpreted )
sample1002.hs:329:54: error:
• Couldn't match expected type ‘[t]’
with actual type ‘([[t]], [t])’
• In the first argument of ‘sort’, namely ‘(as, x)’
In the expression: sort (as, x)
In the expression: if x < a then x : a : as else sort (as, x)
• Relevant bindings include
x :: [t] (bound at sample1002.hs:329:23)
as :: [[t]] (bound at sample1002.hs:329:20)
a :: [t] (bound at sample1002.hs:329:18)
insertSortedList :: ([[t]], [t]) -> [t]
(bound at sample1002.hs:328:1)
Failed, modules loaded: none.
どこがおかしいのでしょうか、ご回答お願いします。