Вопросы по теме 'ml'

Как использовать библиотеку Queue в SML/NJ
Я вижу, что SML/NJ включает структуру очереди. Я не могу понять, как его использовать. Как использовать дополнительные библиотеки, предоставляемые SML/NJ?
1692 просмотров
queue sml ml smlnj
schedule 30.11.2023
Стандартный ML: возможно ли присвоение имен типам данных аргументов функции?
Я новичок в ML, и у меня есть функция, которая получает специальный предопределенный тип данных и может ссылаться на весь тип данных аргумента, а не на его компоненты. Вот глупый пример: datatype frame = Frame of string list * string list (*...
2209 просмотров
standards sml ml
schedule 26.05.2023
стандартный мл добавить элементы в пользовательский тип данных
Я хочу создать функцию для нового типа данных в Standard ML, тип данных называется intnest и определяется следующим образом: datatype intnest = INT of int | LIST of intnest list; и я хочу сделать функцию, которая добавляет все целые числа...
804 просмотров
types function sml ml
schedule 05.12.2022
стандартный мл сделать бст из списка
Я хочу сделать стандартную функцию ml, которая берет список и функцию и делает из нее BST. Тип функции: 'a list -> ('a * 'a -> bool) -> 'a tree , но у меня с ней проблемы, вот код, который я написал: datatype 'data tree = EMPTY |...
2027 просмотров
tree currying binary-search-tree sml ml
schedule 19.05.2023
OCaml — сопоставление шаблона со ссылкой на список в кортеже
есть ли более чистый способ сделать это? Я пытаюсь выполнить сопоставление с образцом (a' option * (char * nodeType) list ref единственный способ, который я нашел, это сделать это: match a with | _, l -> match !l with | (c, n)::t...
2501 просмотров
functional-programming pattern-matching ocaml ml
schedule 11.02.2023
Ограничения вывода типов в ML
Я читал анекдоты о людях, которые использовали ML в промышленности, говоря, что они довольно часто сталкивались с ограничениями вывода типов и вынуждены использовать явные аннотации типов в своих программах. Может ли кто-нибудь привести явные примеры...
230 просмотров
type-inference ml
schedule 27.05.2023
мл тип анализа функции сгиба
Может ли кто-нибудь объяснить мне, как определить тип следующей функции, fold, как определено ниже? fun fold func [] base = base | fold func (x::xs) base = fold func xs (func x base); Мой ответ 'c->'a list->'b->'b, но я вижу, что после...
89 просмотров
types ml
schedule 14.07.2023
удалить последний элемент списка sml, сохранив список в val
Как удалить последний элемент в списке в Standard ML ? У меня есть список, определенный как: val list = [1, 4, 6, 8, 9] и я хочу удалить последний элемент и получить список в val list .
2636 просмотров
sml ml
schedule 13.04.2024
Поиск файлов с помощью SML Basis
Есть ли способ, используя библиотеку SML Basis, открыть файл в определенной позиции? То есть используйте вызов операционной системы для изменения положения, а не просматривайте файл и выбрасывайте данные.
257 просмотров
functional-programming sml ml
schedule 18.05.2024
Как отсортировать список товаров в CPN Tools(ML)?
Во имя Бога у меня есть colset colset process_list = list process; , где process означает это объявление: colset process = product ratio*ID*wait_time*e_runtime; и все используемые colsets в этом colset имеют тип INT. Теперь проблема в том, что я...
509 просмотров
list sorting product sml ml
schedule 16.03.2024
Различия в системе типов между Haskell и ML
Я хотел узнать полные различия между системами типов Haskell и ML. Мне не нужны общие различия, а только различия в их системах типов. А также может ли кто-нибудь объяснить, почему эти различия введены в Haskell? (Для любого преимущества простоты)...
927 просмотров
type-conversion haskell ml
schedule 09.02.2024
SML/NJ Напишите функцию фильтра, которая принимает анонимную функцию в качестве аргумента.
Меня просят написать функцию фильтра в SMLNJ filter: ('a -> bool) * 'a list -> 'a list который принимает функцию f и список L в качестве параметров и возвращает новый список, содержащий элементы l из L, для которых f(l)...
479 просмотров
sml ml smlnj
schedule 15.08.2022
Получение типа выражения в SML
Я новичок в sml и пытаюсь понять, как получить тип выражения. Я прочитал Получение выражения типа в ML , и я пытаюсь повторить то, что он сделал, чтобы получить мое выражение, но я не могу понять один отрывок. Выражение, которое я пытаюсь...
182 просмотров
types sml ml smlnj
schedule 28.03.2024
не могу правильно составить функции
У меня проблемы с составлением функций в ML local fun add(g:int->int,f:int->int,m:int,x:int,sum:int):int= if m>x then sum else add(g,g o f,m+1,x,sum+(g f x)) in fun sum f g x= if x=0 then f x...
17 просмотров
function ml
schedule 22.10.2023
Почему CPN TOOLS продолжает отменять мои правки?
При редактировании объявления я ввожу свои изменения и нажимаю на фон, и он сразу же возвращает мой текст. У меня нет синтаксических проблем, я могу удалить декларацию и написать новую, и она просто примет ее, какие-нибудь идеи, что вызывает это...
25 просмотров
ml petri-net
schedule 04.05.2023
Делают ли компиляторы семейства ML какую-либо сложную оптимизацию для хвостовых вызовов?
Я (полагаю), что следующее определение функции является хвостовой рекурсией: fun is_sorted [] = true | is_sorted [x] = true | is_sorted (x::(y::xs)) = if x > y then false else is_sorted (y::xs) Проще говоря, это...
455 просмотров
ocaml sml tail-recursion ml
schedule 15.02.2022
Пытаетесь запустить код в SML - ошибка?
Я получаю сообщение об ошибке при попытке запустить этот sml-код в eMacs и не могу понять, что пошло не так? Пожалуйста помоги? fun nearest(a,[]) = raise Empty | nearest(a,t::[]) = route(a,t) | nearest(a,t::s) = Real.min(route(a,t),...
55 просмотров
standards emacs sml ml
schedule 18.07.2023
Необходимо ли переименование для чистых лямбда-выражений (let-free выражений)?
Необходимо ли переименование для чистых лямбда-выражений? В ML входное программное выражение должно иметь свойство, заключающееся в том, что каждая связанная переменная различна. Я хочу знать, то же самое для чистого лямбда-выражения (выражения без...
151 просмотров
types inference lambda principal ml
schedule 13.06.2024
Стандартное переполнение Фибоначчи ML
Я возился с изучением функционального программирования и решил взять ML в качестве своего средства для этого. Прошло всего несколько дней с тех пор, как я взял ML, и, возможно, потратил около 5-6 часов на решение некоторых проблем. Впрочем, по моему...
574 просмотров
recursion functional-programming sml ml smlnj
schedule 28.04.2023
Является ли порядок оценки приложения функции детерминированным в SML?
В OCaml порядок оценки применения функции не указан (он же недетерминированный). В стандартном ML это также недетерминированный или детерминированный? Можете ли вы предоставить ссылку на раздел спецификации, который разъясняет? Изменить: для...
256 просмотров
sml ml
schedule 26.01.2024