Вопросы по теме 'ml'
Графический интерфейс для стандартного ML?
Недавно я начал изучать Standard ML из любопытства. Итак, я знаю, что у него есть эффективный компилятор (MLton), который позволяет нам свободно использовать абстракции, не беспокоясь о производительности.
Было бы идеально, если бы я мог...
3462 просмотров
schedule
03.04.2024
Операция присваивания ML
всем, чем отличаются следующие задания в ML,
val n = 5;
а также
n := 1;
1773 просмотров
schedule
09.08.2022
Синтаксис вложенных подписей?
В моей программе ml я использую вложенные структуры для структурирования кода. Я определяю подписи для этих структур, но я не могу вложить подписи.
Пример:
structure Example =
struct
structure Code =
struct
datatype mytype = Mycons of...
363 просмотров
schedule
15.08.2022
Реализация дубля с помощью F# путем перевода эквивалента ML
Я хотел бы перевести этот код ML на F#.
fun take ([], i) = []
| take (x::xs, i) = if i > 0 then x::take(xs, i-1)
else [];
я попробовал этот
let rec take n i =
match n,i with
| [], i -> []...
236 просмотров
schedule
26.03.2023
Синтаксическая ошибка мл, как проверить ошибку кода?
Я новичок. Я пишу ниже код.
Delay(e) == fn () => e
Force(e) == e()
fun time_consuming(n) =
let fun tak(x, y, z) = if x <= y then y
else tak(tak(x-1,y,z), tak(y-1,z,x), tak(z-1,x,y))
in
fun tak(3*n, 2*n, n)...
7640 просмотров
schedule
21.06.2023
печать списка в SML
Я хочу напечатать список внутри функции справки для целей отладки. И почему-то ничего не печатает. Кто-нибудь знает, что не так? Вот часть моего кода:
local
....
and xx(LparenToken) = "LparenToken"
| xx(RparenToken) = "RparenToken"
|...
8325 просмотров
schedule
14.07.2022
Могу ли я создать графический интерфейс из верхнего уровня ocaml?
À несколько вопросов, касающихся интерактивного верхнего уровня и программирования графического пользовательского интерфейса:
Можно ли динамически построить графический интерфейс из верхнего уровня ocaml?
Библиотеку Graphics тоже можно...
800 просмотров
schedule
23.07.2023
стандартная функция типа данных ml
Я создал тип данных типа number, который может быть либо int, либо real, и мне нужно создать функцию, которая добавляет 2 числа типа «число», и у меня проблема с синтаксисом определения такого синтаксис, я пробовал следующее, но, похоже, никто не...
729 просмотров
schedule
13.12.2022
Рекурсивная ошибка в SML
Не могу понять ошибку в моей функции. Предполагается циклически проходить список n раз, например:
cycle([1, 2, 3, 4, 5, 6], 2) вернет [3, 4, 5, 6, 1, 2] , прокручивая список дважды.
Вот мой код, но я думаю, что вхожу в бесконечный...
261 просмотров
schedule
26.07.2023
Проверьте, сбалансировано ли бинарное дерево (стандартный мл)
Тип данных дерева:
datatype mobile = Object of int | Wire of mobile * mobile
Чтобы проверить, сбалансировано ли оно, я понял, что мне нужно сначала создать функцию веса, чтобы вычислить вес значений каждого узла, а затем сравнить левое...
719 просмотров
schedule
25.10.2022
Ошибка при несоответствии типа
Я пишу эту функцию на SML. Предполагается взять список возможных вариантов имени (меня зовут Виктория, поэтому Ви, Вик, Вики и т. д.) и создать записи {альтернативное имя1, среднее, последнее}, {альтернативное имя2, среднее, последнее}.
Итак, вот...
274 просмотров
schedule
19.01.2023
Как я могу преобразовать свой тип данных?
Я определяю тип данных для составного списка:
datatype intnest= INT of int
| LIST of intnest list;
теперь я пытаюсь написать функцию, которая может преобразовать этот тип в основной тип.
например:
[INT 1, INT 2, LIST[INT 6,...
148 просмотров
schedule
08.07.2023
Изменение размера кучи во время выполнения Poly/ML
Я прочитал следующие слова в статье об изменении размера кучи в Poly/ML. Но я не понял, как именно изменяется размер кучи? Может ли кто-нибудь объяснить это более подробно?
В конце каждого крупного GC (сборки мусора) вызывается метод...
155 просмотров
schedule
04.10.2022
упражнение number_in_month (Почему x = x + 1 считается bool в sml, а x — int, и как правильно сказать x = x + 1?)
Обновление. Что я хочу сделать с этим кодом, так это получить список дат, год/месяц/день и заданное число в качестве месяца и проверить, сколько дат в данном списке находятся в том же месяце, что и данный месяц. То, что я имел в виду под x = x + 1,...
370 просмотров
schedule
27.06.2022
Обработка исключений после набора нескольких функций, разделенных и
Следующий код работает правильно:
local
exception exc;
fun a 0 = 0
| a n = if (n>0) then n+ b (n-1) else raise exc
and b 0 = 0
| b n = if (n>0) then n+ a (n-1) else raise exc
in
fun some n = a n
handle exc => 0;
end;...
29 просмотров
schedule
13.12.2022
Создание элемента в списке ocaml, указывающего на новое значение
Новичок в O'Caml, и я играл со списками, моя цель - добавить элементы и сделать так, чтобы существующий элемент списка указывал на его новое значение, то есть, если у меня есть [4;6;7], этот же список должен стать [4;10;17]
вот что у меня есть до...
66 просмотров
schedule
26.11.2022
OCaml Странная синтаксическая ошибка
Хорошо, извините, ребята, это снова я x) Эта функция должна заменить поддерево dt (которое является двоичным деревом) в координатах, указанных coord ( например [0;1;0;0], где 0 означает движение влево, а 1 — наоборот) по поддереву nt . Кстати,...
113 просмотров
schedule
18.07.2023
Когда мне следует использовать val x = fn вместо fun x
Я только начал изучать Standard ML (и функциональное программирование в целом) и столкнулся с двумя разными способами определения функции.
val double = fn x => x*2:
И
fun double x = x*2;
Если я правильно понимаю, первый - это...
143 просмотров
schedule
29.03.2023
Мультипликация ML
Используя SML, мне нужно создать рекурсивную функцию, чтобы сделать следующее
fun mult ([a,b,c]) - multiply a*b c times
example: mult ([2,3,5]) -> [2, 6, 18, 54, 162, 486]
Обновление: у меня есть следующее
fun mult (a, b) = a*b;
fun...
70 просмотров
schedule
02.08.2023
ML анонимная функция альтернирующая сумма
Для моего домашнего задания по ML я должен использовать функцию fold и анонимную функцию, чтобы превратить список целых чисел в переменную сумму. Если список пуст, результат равен 0. Это то, что у меня есть до сих пор. Я думаю, что то, что у меня...
305 просмотров
schedule
09.05.2022