並べ替え対象のリストを先頭の要素と残りの要素のリストに分けたとき、残りの要素のリストを並び替えたものに先頭の要素を挿入する関数insSortを、昇順に並んでいる整数リストasに、昇順を維持したまま新しい整数xを挿入する関数「insertSortedList(as,x)」を用いて作成したいのですが、何度試行を繰り返してもエラーメッセージが出てきてしまいます。
ちなみに私は以下のようにプログラムしました。
insertSortedList ([], x) = [x] insertSortedList (a:as ,x) = if x < a then x:a:as else a:insertSortedList(as, x)
insSort([],bs)=bs insSort(a:as,bs)=if a<bs then a:insertSortedList(as,bs) else insertSortedList(as,bs)
エラーメッセージ
[1 of 1] Compiling Main ( sample1002.hs, interpreted )
sample1002.hs:333:31: error:
• Occurs check: cannot construct the infinite type: t ~ [t]
• In the expression: a : insertSortedList (as, bs)
In the expression:
if a < bs then
a : insertSortedList (as, bs)
else
insertSortedList (as, bs)
In an equation for ‘insSort’:
insSort (a : as, bs)
= if a < bs then
a : insertSortedList (as, bs)
else
insertSortedList (as, bs)
• Relevant bindings include
bs :: t (bound at sample1002.hs:333:14)
as :: [t] (bound at sample1002.hs:333:11)
a :: t (bound at sample1002.hs:333:9)
insSort :: ([t], t) -> t (bound at sample1002.hs:332:1)
Failed, modules loaded: none.
今回求められているプログラムを、合成関数ではなく普通の関数で定義するなら、例えば関数「mergeSortedList」を用いて、
mergeSortedList(as,[])=as
mergeSortedList([],bs)=bs
mergeSortedList(a:as,b:bs)=if a<b then a:mergeSortedList(as,b:bs) else b:mergeSortedList(a:as,bs)
となると思うのですが、合成関数となりやり方がわからなくなりました。
ご回答よろしくお願いします。