Серьезно, луцловер.Вам нужно прочитать учебник или введение в SML.Например, см. Страницу SML / NJ Literature .
В принципе, у вас есть два способа решения этой проблемы.Если задана функция insertnth(xs, pos, n), то уродливый нефункциональный способ - разделить список в позиции pos, а затем вернуть left @ n :: right, где left и right - это левая и правая часть разделения.Или более функциональный способ, с рекурсивной функцией, которая проходит список xs элемент за элементом, уменьшая переменную pos каждый раз, а затем, когда вы достигаете позиции 1, затем возвращаете n, добавленный к оставшемуся списку,остановить рекурсию.