Standerd MLでリストの先頭から２つずつ要素を組にしたリストを作りたい

質問

Standerd MLの問題で整数のリストの先頭から２つずつ要素を組にしたリストを求める関数でcomを作りたい。
'a list->('a*'a)listでcom([1,2,3,4])の場合は([1,2],[3,4]),元の要素数が奇数の場合は０を入れる。

自分で途中までは考えれました。
fun com(nil)=nil
| com(x::xs)=
if xs=nil then x::0 else x::sx
| com(x::xs::xxs)=
if xxs=nil then x::xs else com(xxs);

これで実際に正常に動作するかどうかわかりません。
ご指導よろしくお願いします。

回答No.3

aid-u · ベストアンサー

『com(x::nil)=[(x,0)]』と『com(x::xs::xxs)=[(x,xs)::com(xxs)]』の部分で型が異なっています。
『[(x,xs)::com(xxs)]』の部分が間違っていると思います。

com(x::nil)=[(x,0)] ⇒ この部分を見ると関数の返り値の型は(int * int) list。

com(x::xs::xxs)=[(x,xs)::com(xxs)]の部の型は以下の通り。
　com(xxs) ⇒ 型は『com(x::nil)=[(x,0)]』から(int * int) listとする。
　(x,xs)::com(xxs) ⇒ 上記のリストの先頭に要素を追加。型は同じ。
　[(x,xs)::com(xxs)] ⇒ 上記のリストを要素とするリスト。型は(int * int) list list。

作成したい関数の返す型は(int * int) listでしょうから、『[(x,xs)::com(xxs)]』の部分が間違っていると思います。

お礼

ありがとうございました。
ご指摘頂いた点を修正させて頂きました。

コンパイルも実装もできるようになりました。
いろいろご指導頂きありがとうございました。

回答No.2

aid-u

#1です。

『| com(x1::nil)=(x1::0)』の部分ですが、ペアのリストを返すのであれば『[(x1, 0)]』となります。

『| com(x1::x2::xs)=・・・』の処理ですが、以下の２点を行えばよいと思います。
　・xsを引数としてcomを呼び出する
　・com関数からペアのリストが返るので、x1とx2のペアをリストの先頭に追加する

補足

度々回答頂きありがとうございます。

プログラムを書きなおしてみましたがコンパイルできません。
どこを修正すればいいでしょうか。教えてください。

- fun com(nil)=nil
= | com(x::nil)=[(x,0)]
= | com(x::xs::xxs)=[(x,xs)::com(xxs)];

回答No.1

aid-u

関数の型が'a list->('a*'a)listであればcom([1,2,3,4])は[(1,2), (3,4)]になると思います。
また、要素数が奇数の場合に0を入れるというのが、com([1,2,3])の結果が[(1,2), (3,0)]となるということだとすると、
関数の型はint list->(int * int) listになります。

このような関数を作成するのであれば、以下の３つのパターンに分けるといいと思います。
・nilのパターン
・x1::nilのパターン
・x1::x2::xsのパターン

補足

回答して頂きありがとうございます。nilのパターン、x1::nilのパターンについてはプログラムを書けたのですが、x1::x2::xsのパターンのときのプログラムが分かりません。度々すいませんが教えてください。

途中まで考えたプログラム
fun com(nil)=nil
| com(x1::nil)=(x1::0)
| com(x1::x2::xs)=