smlnj

0зной

1ответ

Понимание типа SML fn (f, g, x) => g (f (x)) или аналогичного

Хорошо, извините заранее, это, вероятно, repost, но я потратил 30 минут на поиск stackoverflow и не смог найти что-то достаточно подобный, чтобы понять. В принципе, я не понимаю, почему fn (f,g,x) =>

-1зной

1ответ

Как получить кортеж кортежей в SML?

У меня есть: val a = ((1,2), (1,2,1), (1,2,3), 5, (4,5,6)); Мне нужна функция, которая возвращает несколько "х" в этом кортеже ... Пример: Мало "5" в кортеже: funMagic (а, 5); Должно возвращаться 2 По

1зной

2ответ

В чем разница между int -> int -> int и (int * int) -> int в SML?

Я заметил, что есть два способа определения функций в SML. Например, если взять функцию надстройки, эти два способа: fun add x y = x+y; fun add(x,y) = x+y; Первый метод создает тип функции, как: v

0зной

1ответ

Ошибка синтаксиса: Вставка EQUALOP

Я пытаюсь записать аргументы командной строки из моей программы SML в файл, каждый на отдельной строке. Если бы я был бежать sml main.sml a b c easy as 1 2 3 в командной строке, желаемый результат буд

1зной

1ответ

Quicksort в SML оператор и операнд не согласен ошибка

Я пытаюсь написать функцию QuickSort типа 'a list * ('a * 'a -> bool) -> 'a list , но по какой-то причине, я получаю: 'a list -> ('a * 'a -> bool) -> 'a list Вот мой код для функции: fun quicksort

1зной

1ответ

Как найти количество вхождений в списке строк ML?

Я новичок в ML, вот мой attemp писать функцию, которая принимает: список строк L строка ул INT счетчик функция должна возвращать количество вхождений str в L Это мой код: (* * return number of occure

0зной

1ответ

Умножив песни1 по list2, получая «Предупреждение: матч неисчерпывающим»

Из того, что я узнал, fun addX (X, []) = [] | addX (X, y::ys) = (X + y :: addX(X, ys)); работает прекрасно, но когда я пытаюсь умножать песни1 по list2 с помощью этого метода, он дает мне " Предупр

2зной

1ответ

В чем разница между функцией rem и mod в sml?

Я работаю над проектом sml, в котором я должен реализовать эти две функции rem & mod для пользовательских данных. Я знаю определение остатка rem. дивиденд = делитель * фактор + остаток Что такое опред