Standard MLでリストの最後の要素を削除するにはどうすればよいですか? 次のように定義されたリストがあります。
val list = [1, 4, 6, 8, 9]
最後の要素を削除して、リストをval list
.
さて、あなたはそれを行うさまざまな方法を持っています。
元のリストをバラバラにして、最後の要素に到達するまで、要素を含む新しいリストの作成を開始できます。
fun f [] = ...
| f [x] = ...
| f (x::xs) = x :: ...
または、List.take関数を使用して、リストから最初の i 要素を取得することもできます。明らかに、 List.length関数を使用して、リストから取得したくない要素の数を計算できます。
fun h xs = List.take (xs, ...)