Все, Я хочу получить выражение типа для функции ниже в ML: fun f x y z = y (x z)
Теперь я знаю, печатая то же самое будет генерировать выражение типа. Но я хочу извлечь эти ценности вручную. Также у
Это часть домашнего задания, поэтому моя цель - понять , почему это неправильно. Как я уже говорил, я пользуюсь московским ML. fun filter pred = let
fun f ([], a) = []
| f ([], a) = a
| f (e::L, a)
Я использую Moscow ML в сочетании с CGI. У меня есть сайт, который вычисляет простоту арифметики. Когда кнопка отправки i нажата, сайт перенаправляется в фактический файл CGI, который выводит результа