Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
3::[4;5;2;7];; List.length [4;5;2;7];; [4;5;2;7]::3;;
これにより、エラーが発生します。この式は int 型リスト list を持つことが期待されていましたが、ここには int 型があります。
: を実行することで解決できることはわかっています[4;5;2;7];; List.append it [3];;が、他に方法はありますか?
[4;5;2;7];; List.append it [3];;
これは本当に悪い質問です。ただし、コードの最後の行は失敗します
この式は int list list 型を持つことが期待されていましたが、ここでは int 型になっています
.. :: は要素をリストに連結するためです。リストは片リンクリストなので、前からしかできません。リストの最後に要素を追加したい場合は、おそらく間違ったデータ構造を使用しています。リストの最後に要素を本当に追加したい場合は、次のことができます
[4;5;2;7] @ [3];;
これは非常に非効率的であることに注意してください。