0
ответов
Ищу OCaml IDE [закрыто]
Мне нравится F #, но иногда мне нужно что-то легкое, кроссплатформенное и наверняка без .NET.
Я много раз пытался использовать OCamL, но, похоже, просто не могу его запустить. Установил IDEA, добавил плагин OCamL -> ...
вопрос задан: 23 May 2018 15:19
0
ответов
Есть ли в наличии какие-нибудь книги по ocsigen?
Теперь мы успешно использовали ocsigen для размещения старых cgi на Python заявление. Однако нам необходимо подробно изучить ocsigen, чтобы решить, использовать ли язык OCaml для разработки нового веб-приложения. ...
вопрос задан: 2 April 2018 03:45
0
ответов
Почему это F # / OCaml компилирует выражение?
Этот код прекрасно компилируется как в F #, так и в OCaml: пусть testmatch k = match k с | jqk3jtl23jtlk123 -> правда, я проверял как в FSI, так и в утопе. Это всегда возвращает истину. ...
вопрос задан: 19 October 2017 13:13
0
ответов
Сопоставление шаблонов параметров функции OCaml для строк
Я пытался передать строку, чтобы получить обратную строку. Почему я не могу сделать это: пусть rec реверсирует x = сопоставляет x с | "" -> "" | e ^ s -> (обратное s) ^ e;; Компилятор говорит, что это синтаксическая ошибка...
вопрос задан: 25 September 2017 20:18
0
ответов
OpenMP с OCAML
Кто-нибудь знает, можно ли использовать OpenMP с исходным кодом OCaml? Или другое приложение / среда работы, совместимая с OCaml, которая позволяет мне запускать параллельные программы, использующие несколько ядер? ...
вопрос задан: 19 September 2017 10:28
0
ответов
Что действительно более производительно? Haskell или OCaml [закрыто]
Последние 18 месяцев я потратил на освоение функционального программирования, начиная с изучения OCaml, а в течение нескольких недель - с Haskell. Теперь я хочу сделать следующий шаг и реализовать некоторые актуальные ...
вопрос задан: 10 September 2017 06:21
0
ответов
Сопоставление с образцом OCaml на встроенных типах
Я пытаюсь записать полиморфную функцию, которая должна сделать что-то немного отличающееся в зависимости от типа параметра. Есть ли любой способ, которым я могу сделать соответствие шаблона на типе...
вопрос задан: 23 May 2017 12:27
0
ответов
Случайное перечисление хеш-таблицы в OCaml
Простите за длинный вопрос. Я решил сначала объяснить контекст проблемы, так как, возможно, есть другие решения моей проблемы. Если вы спешите, просто прочтите ВОПРОС ниже. (EDITED - In ...
вопрос задан: 23 May 2017 12:23
0
ответов
Как преобразовать GCD-вычисления в стиле CPS для использования монады Continuation
Давайте рассмотрим следующую реализацию монады Continuation для вычислений в стиле CPS, дающих и целочисленных: module Cont: sig type 'a t = (' a -> int) -> int val return: 'a - & ...
вопрос задан: 23 May 2017 12:15
0
ответов
Типы модулей OCaml и отдельная компиляция
Я читаю статью ведущего дизайнера OCaml 1994 года о модулях, типах и отдельной компиляции. (любезно указал на меня Норман Рэмси в другом вопросе). Насколько я понимаю, в статье обсуждаются...
вопрос задан: 23 May 2017 11:45
0
ответов
Разбор строки Ocaml для создания дерева
У меня есть проблема, похожая на эту :Как быстро напечатать древовидную структуру в строку в Ocaml? Но наоборот, у меня уже есть строка, и я хочу проанализировать ее, чтобы она стала деревом. Для...
вопрос задан: 23 May 2017 11:43
0
ответов
Невозможно предоставить длинные (1024+ символа )входные данные для верхнего уровня OCaml и coqtop (и Proof General)
Редактировать 4 :Оказывается, это просто ограничение ввода TTY в целом; в OCaml, Coq или Emacs нет ничего конкретного, что вызывает проблему. Я работаю над программой Coq...
вопрос задан: 23 May 2017 10:29
0
ответов
Использует ли среда выполнения императивную интерпретацию кода функционального языка?
У меня есть общий вопрос об интерпретаторах функциональных языков: есть ли на самом деле какие-либо преимущества использования функционального языка по сравнению с императивным языком во время выполнения (или что делает по-своему...
вопрос задан: 23 May 2017 10:29
0
ответов
Почему OCaml (+) не полиморфен?
Я новичок в OCaml. Мне нравится скорость OCaml, но я не совсем понимаю ее дизайн. Например, я хотел бы, чтобы оператор + был полиморфным для поддержки целых чисел, чисел с плавающей запятой и т. Д. Зачем нам нужен + ....
вопрос задан: 1 January 2017 01:28
0
ответов
OCaml Печатать заявления
Можно ли поместить операторы print для отладки / тестирования в блоки кода? Например, в Java вы можете использовать System.out.println ("") в середине методов для проверки переменных или других вещей, но ...
вопрос задан: 31 October 2016 12:29
0
ответов
Алгоритм встраивания
Кто-нибудь знает какие-либо статьи, в которых обсуждаются алгоритмы встраивания? И тесно связанная с этим связь родительско-дочернего графа с графом вызовов. Предыстория: у меня есть компилятор, написанный на Ocaml, который ...
вопрос задан: 13 September 2016 06:43
0
ответов
Возврат нескольких токенов в ocamllex
Есть ли способ вернуть несколько токенов в OCamlLex? Я пытаюсь написать лексер и парсер для языка, основанного на отступах, и я хотел бы, чтобы мой лексер возвращал несколько токенов DEDENT, когда он ...
вопрос задан: 19 June 2016 15:44
0
ответов
Тип добавления (+) в F #
Я только что узнал, что OCAML должен иметь расширение. postfix для выполнения арифметических операций с плавающей запятой. Например, 3. +. 4. что равно 7. (с плавающей запятой). Однако F # обрабатывает арифметические операции с плавающей точкой и цел
вопрос задан: 12 April 2016 10:24
0
ответов
Реализация модулей Ocaml
Стандартная библиотека Ocaml содержит различные модули: List, Map, Nativeint и т. Д. Я знаю, что для этих модулей предусмотрены интерфейсы (например, для модуля List) , но меня интересуют алгоритмы ...
вопрос задан: 8 April 2016 09:43
0
ответов
Разделение списка элементов на два списка нечетных и четных проиндексированных элементов
Я хотел бы создать функцию, которая принимает список и возвращает два списка: первый содержит каждый нечетный элемент, а второй - каждый четный элемент. . Например, учитывая [1; 2; 4; 6; 7; 9], я хотел бы ...
вопрос задан: 4 March 2016 15:49
0
ответов
Implementing a tail recursive version of quicksort-like function in F#/OCaML
Is it possible to implement a tail recursive version of the quick sort algorithm (via the continuation pattern)? And if it is, how would one implement it? Normal (not optimized) version: let rec ...
вопрос задан: 4 March 2016 15:44
0
ответов
Example of nested signatures in OCaml?
In OCaml, you can nest signatures: module type FOO =
sig модуль типа BAR (*… *)
end I was just wondering if anyone had any examples of this in use, since I can’t think of any places where it ...
вопрос задан: 19 October 2015 21:57
0
ответов
Как проверить, созданы ли два значения с помощью одного и того же конструктора?
скажем, у меня есть тип t = A типа int | B для int let xx = A (2) ;;
пусть yy = A (3) ;; и я хочу проверить, равны ли конструкторы xx и yy,
Есть простой способ сделать это ? Вместо того, чтобы ...
вопрос задан: 18 September 2015 07:45
0
ответов
Синтаксис объявления функции в OCaml
Я хотел бы определить функцию следующим образом: let f (a: int) (b: int) (c: int) (d: int ): int = ... Можно ли сделать подпись короче, не делая из них кортеж? Поскольку я все еще хочу, чтобы f ...
вопрос задан: 17 September 2015 04:27
0
ответов
Семантика слияния OCaml в функторе Map.make?
Я пишу функцию OCaml, в которой мне нужно объединить две карты. Мне не удалось выяснить семантику функции слияния, предоставляемой функтором Map.Make (найденной в версии 3.12.0 OCaml). ...
вопрос задан: 13 August 2015 22:15
0
ответов
Создание тестового двойника в OCaml
Как обычно бывает, что в OCaml есть тестовый двойник, который имитирует соединение с базой данных? Допустим, вы хотите протестировать небольшой API поверх рекламы atabase и способ, которым это работает, заключается в предоставлении типа подключения ...
вопрос задан: 12 August 2015 14:56
0
ответов
Функторы, модули и подмодули Ocaml
Приносим извинения за публикацию такого длинного, не компилируемого кода. Но, несмотря на то, что я прочитал несколько вопросов и ответов о stackoverflow на функторах ocaml, я не понимаю, как это решить: У меня очень ...
вопрос задан: 10 August 2015 22:50
0
ответов
Злоупотребление алгеброй алгебраических типов данных - почему это работает?
«Алгебраический» Выражение для алгебраических типов данных выглядит очень многообещающим для человека с математическим образованием. Позвольте мне попытаться объяснить, что я имею в виду. Определив основные типы продуктов •
...
вопрос задан: 29 June 2015 08:30
0
ответов
Преобразование хеш-таблицы в список пар (ключ, значение) в OCaml
Есть ли способ преобразовать хеш-таблицу в список (ключ, пара) значений в OCaml ? Я знаю, что, имея хеш-таблицу ht, мы можем сделать BatList.of_enum (BatHashtbl.enum ht), используя библиотеку батарей ....
вопрос задан: 26 April 2015 21:34
0
ответов
OCaml - Как преобразовать int в строку?
Как преобразовать int в строку? Пример: от 1 до «1».
вопрос задан: 15 March 2015 19:00