リスト L、オブジェクト x、および正の整数 k を指定すると、k 番目の位置に x が挿入された L のコピーを返す関数を定義します。たとえば、L が [a1, a2, a3] で k=2 の場合、[a1, x, a2, a3] が返されます。L の長さが k 未満の場合は、最後に挿入します。この種の問題では、たとえば長さ関数を使用しないことになっています。関数が長さを計算する方法を考えてみてください。「if-then-else」や補助機能はありません。
リストの長さを見つける関数を作成する方法を理解しました
fun mylength ([]) = 0
| mylength (x::xs) = 1+ mylength(xs)
しかし、質問が述べているように、これを挿入機能の補助機能として使用することはできません。また、挿入機能の使い方がわかりません。ヘルプやガイダンスをいただければ幸いです。