0
ответов
вложенные локальные объявления в ML из Нью-Джерси
привет всем, у меня есть этот фрагмент кода: local helper (f, i, j) = local fun NTimesF (f, n: int) = if n = 1 then fn (x) => f (x) ...
вопрос задан: 20 February 2014 16:10
0
ответов
Сайты, богатые упражнениями или объяснениями для SML? [закрыто]
Я знаю, что мне нужно пройти через Google для поиска и т.д., я сделал, но они не предлагают то, что мне нужно, 90% этих сайтов приводят тот же пример и даже иногда то же самое объяснение, если есть кто-то, кто ...
вопрос задан: 14 August 2013 14:04
0
ответов
Статически «расширять» тип данных типа записи без проблем с косвенным обращением
В настоящее время я работаю с трехуровневым процессом, для которого мне нужна некоторая информация для доступа и обновления. Информация также является трехуровневой, так что процесс на одном уровне ...
вопрос задан: 25 October 2012 18:43
0
ответов
Операторы case и сопоставление с образцом
Я кодирую на SML для задания, и я выполнил несколько практических задач, и мне кажется, что я чего-то упускаю - мне кажется, что я использую слишком много операторов case . Вот что я делаю и проблема ...
вопрос задан: 5 October 2012 17:53
0
ответов
Смещенные по весу левые кучи: преимущества нисходящей версии слияния?
Я занимаюсь самоисследованием чисто функциональных структур данных Окасаки, теперь в упражнении 3.4, в котором просим рассуждать и реализовывать левостороннюю кучу, ориентированную на вес. Это моя базовая реализация: (* 3.4 (b) ...
вопрос задан: 26 September 2012 00:21
0
ответов
Как написать взаимно рекурсивные функции внутри привязки let в SML?
Я хотел бы сделать что-то вроде этого: fun f () = let fun a() = b() и fun b() = a() in () end, где a и b — разумные взаимно рекурсивные функции. Однако...
вопрос задан: 17 April 2012 22:21
0
ответов
Какие библиотеки Javascript хорошо поддерживают подсветку синтаксиса кода OCaml?
В идеале библиотека поддерживает широкий спектр языков в дополнение к OCaml, но основным требованием является хорошая поддержка OCaml.
вопрос задан: 27 February 2012 12:59
0
ответов
Функция, которая применяет свой аргумент к себе?
Рассмотрим следующую функцию SML: fn x => xx Это приводит к следующей ошибке (Standard ML of New Jersey v110.72): stdIn: 1.9-1.12 Ошибка: оператор не функция [круговой] оператор: ...
вопрос задан: 6 February 2012 15:29
0
ответов
Этот шаблон кажется исчерпывающим, но я все равно получаю предупреждения
Я изучаю sml и написал следующую простую функцию: (* Возвращает список, содержащий каждый второй элемент входного списка *)
fun everyOther [] = [] | everyOther [x] = [x] | everyOther x = let ...
вопрос задан: 31 January 2012 03:36
0
ответов
Приведение типов в SML
Я новичок в SML и использую диалект SMLNJ. Для какой-то цели я пытался привести тип 3 к 3.0 (int в real). Выхода не нашел. Как я могу это сделать? Как я могу преобразовывать типы?
вопрос задан: 24 January 2012 01:29
0
ответов
Расширение # в sml
Предположим, у меня есть список в sml, который очень большой, тогда sml показывает несколько записей, а затем начинает показывать символ #. Может ли кто-нибудь сказать мне, как я могу просмотреть весь список?
вопрос задан: 15 January 2012 22:16
0
ответов
Как преобразовать отрицательные целые числа в строки в SML со знаком минус вместо тильды?
Стандартная функция библиотеки SML Int. toString добавляет к отрицательным числам префикс ~ вместо -. Есть ли библиотечная функция, которую можно использовать - вместо того, чтобы писать fun i2s i = if i <0 then "-" ^ ...
вопрос задан: 19 November 2011 07:09
0
ответов
SML - несвязанная переменная или конструктор
У меня есть следующий код: тип данных expr = K строки | Число2 выражения * (список выражений);
число типа данных = Число1 строки | Number3 int; fun append (nil, l2) = l2 | append (x :: xs, l2) = x :: append (...
вопрос задан: 4 November 2011 13:45
0
ответов
Оценить буфер в ghci или hugs через Emacs
Используя sml-режим в Emacs, я смог отправить содержимое моего буфера непосредственно подчиненному процессу SML с помощью C-c C-b. Теперь я хочу сделать то же самое только с Haskell. Режим Haskell, похоже, не ...
вопрос задан: 21 October 2011 12:43
0
ответов
SML: какая разница между использованием abstype и использование подписи для скрытия реализации структуры?
Я проделал небольшую работу в SML в прошлом, но теперь я начинаю добираться до более Интересные части. Используя Avstype ... с ... End Construct, я могу сделать вещи, но сохранить свою реализацию ...
вопрос задан: 4 September 2011 01:01
0
ответов
Рекурсивные анонимные функции в SML
Можно ли писать рекурсивные анонимные функции в SML? Я знаю, что могу просто использовать забавный синтаксис, но мне любопытно. В качестве примера того, что я хочу, я написал: val fact = fn n => case n ...
вопрос задан: 10 August 2011 17:18
0
ответов
GUI в Java, Backend в SML?
Я большой поклонник языков функционального программирования (а именно Standard ML и его диалектов), главным образом из-за их выразительности, которая позволяет , чистый код. Я могу решить множество проблем ...
вопрос задан: 29 July 2011 19:08
0
ответов
Вывод усечен с помощью # -знаков в REPL
Я написал функцию, которая работает, как ожидалось, но я не понимаю, почему вывод такой. Функция: datatype prop = Атом строки | Не реквизит | И опоры * prop | Или prop * prop; (* XOR = ...
вопрос задан: 25 May 2011 20:42
0
ответов
Как в SML утверждать, что возникло определенное исключение?
Не прилагая усилий чтобы клонировать JUnit или что-то в этом роде, я m объединяет несколько служебных функций, чтобы помочь протестировать некоторый код SML. Я знаю о QCheck, но он тоже не может этого сделать ...
вопрос задан: 13 May 2011 05:04
0
ответов
Ленивые типы данных в Objective C
В SML следующее возможно для моделирования ленивого программирования, // Имеем тип данных, чтобы обернуть вычисление
тип данных 'a susp = Susp of (unit ->' a)
// Функция для хранения вычислений
fun delay (f ...
вопрос задан: 9 May 2011 18:21
0
ответов
Garbage collection in SML, Java, C, Pascal
Why is garbage collection rarely spoken about in languages such as Pascal and C, whereas it is very important in SML and Java?
вопрос задан: 5 May 2011 15:48
0
ответов
Могут ли хорошие системы типов различать матрицы в разных базах?
Моя программа (Hartree-Fock / итеративный SCF) имеет два матрицы F и F ', которые на самом деле являются одной и той же матрицей, выраженной в двух разных базах. Я только что потерял три часа времени на отладку, потому что случайно ...
вопрос задан: 1 May 2011 20:53
0
ответов
Каковы основные теоретические трудности при добавлении модулей в стиле ML в Haskell?
Хорошо известно, что Классы типов в стиле Haskell и модули в стиле ML предлагают разные механизмы для определения интерфейсов. Они (возможно) эквивалентны по мощности, но на практике у каждого есть свои собственные ...
вопрос задан: 17 April 2011 17:37
0
ответов
Как вызвать функцию, которая разбивает списки?
Я хочу написать функцию, которая разбивает списки на подсписки в соответствии с тем, какие элементы удовлетворяют заданному свойству p . У меня вопрос, как назвать функцию. Я приведу примеры на Haskell, но то же самое ...
вопрос задан: 2 April 2011 00:15
0
ответов
Проблема с запуском smlnj под OSX 10.6
Я загрузил и установил реализацию SML NJ с помощью DMG для x86 отсюда:
http://smlnj.cs.uchicago.edu/dist/working/110.72/index.html Однако, когда я открываю окно терминала и перехожу в /usr/...
вопрос задан: 22 March 2011 14:40
0
ответов
использовать операцию в sml (где находится текущий каталог smlnj windows)
Я никогда не использовал SML на машине Windows (раньше использовал unix машина с emacs). хоть убей, я не могу найти текущий каталог в среде sml. Если я попытаюсь: использовать "...
вопрос задан: 18 March 2011 03:57
0
ответов
Изучение / использование машинного обучения. Какую систему мне следует использовать?
Я хочу изучить и использовать ML, но есть много компиляторов. Мне нужно: скорость
низкое использование памяти
заправка
изменяемые массивы и типы записей
продолжения
готовый к производству код
легкий ffi
своевременно
...
вопрос задан: 4 March 2011 09:13
0
ответов
Увеличение глубины печати в SML / NJ
Я пытаюсь заставить SML / NJ распечатать результат на верхнем уровне без
повсюду поставить знак #. Согласно некоторым старым документам (и сообщению в этой группе новостей от 2001 г.)
должно быть возможно использовать ...
вопрос задан: 22 February 2011 00:19
0
ответов
SML-NJ, how to compile standalone executable
I start to learn Standard ML, and now I try to use Standard ML of New Jersey compiler. Now I can use interactive loop, but how I can compile source file to standalone executable? In C, for example, ...
вопрос задан: 19 February 2011 19:55
0
ответов
Как импортировать код в SML?
В настоящее время я оцениваю задания для курса по SML. Я написал несколько тестовых примеров для автоматической проверки правильности функций в заданиях студентов, и я хотел бы иметь возможность импортировать ...
вопрос задан: 30 January 2011 20:10