Лучшие ocaml вопросы ИТ разработчиков

  • 4 голосов
  • 2 ответа
  • 0 просмотров
2 ответа

Атрибуты OCaml

Я посмотрел руководство и обнаружил, что в OCaml есть атрибуты, которые объявляют вещи устаревшими (см.http://caml.inria.fr/pub/docs/manual-ocaml/extn.html),...

Задан 04 May 2016, 18:24 от Gregory
  • 91 голос
  • 9 ответов
  • 0 просмотров
9 ответов

В чисто функциональных языках есть ли алгоритм для получения обратной функции?

В чистых функциональных языках, таких как Haskell, существует ли алгоритм для получения обратной функции (edit), когда она является биективной? И есть ли кон...

Задан 15 Nov 2012, 17:53 от MaiaVictor
  • 12 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Функторы OCaml :: нелогичное поведение

Я экспериментирую с языком модулей OCaml (3.12.1), определяю функторы и сигнатуры для модулей и так далее, в основном следуя примерам изГлава 2 руководства OCaml [http://caml.inria.fr/pub/docs/manual-ocaml/manual004.html]и я случайно наткнулся на ...

Задан 19 Mar 2012, 22:00 от Marcus Junius Brutus
  • 29 голосов
  • 1 ответ
  • 0 просмотров
1 ответ

Привязки llvm OCaml

Я работаю над привязками llvm OCaml. Я установил пакет llvm через ОПАМ (opam install llvm), когда я использую llvm в Utop, я получаю следующую ошибку: #require "llvm";; Error: The external function 'llvm_global_succ' is not available.Версия ...

Задан 15 Nov 2013, 13:50 от xysun
  • 10 голосов
  • 4 ответа
  • 0 просмотров
4 ответа

Распознавание клавиш со стрелками с помощью стандартного ввода

возможно ли иметь кроссплатформенный способ обработки клавиш возврата и возврата в программе на C или OCaml?На самом деле, решение OCaml приветствуется, но м...

Задан 09 Nov 2010, 02:46 от Jack
  • 17 голосов
  • 9 ответов
  • 0 просмотров
9 ответов

Идеи для проекта обработки естественного языка? [закрыто]

Я должен сделать окончательный проект для моего класса компьютерной лингвистики. Мы использовали OCaml все время, но я также знаком с Java. Мы изучили морфологию, FSMs, сбор деревьев разбора, разбор CYK, попытки, автоматные выпадающие сообщения, ...

Задан 24 Nov 2009, 22:54 от Nick Heiner
  • 22 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Ищу OCaml IDE [закрыто]

Мне нравится F #, но иногда мне нужно что-то легкое и кроссплатформенное и без .NET наверняка. Я пытался использовать OCamL много раз, но, похоже, просто не могу его запустить. Установил IDEA, добавил плагин OCamL -> Не работаетУстановленный ...

Задан 28 Sep 2011, 11:17 от Cynede
  • 33 голосов
  • 3 ответа
  • 0 просмотров
3 ответа

Хвост рекурсивная функция, чтобы найти глубину дерева в Ocaml

У меня есть типtree определяется следующим образом type 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree ;;У меня есть функция, чтобы найти глубину дерева следующим образом let rec depth = function | Leaf x -> 0 | Node(_,left,right) -> 1 + ...

Задан 17 Feb 2012, 04:46 от ppaul74
  • 2 голосов
  • 1 ответ
  • 0 просмотров
1 ответ

, поскольку это базовая вещь, которую захочет сделать каждый новичок OCaml. :)

чаю Ocaml, и мне нужно создать программу, которая может взаимодействовать с пользователем следующим образом:

Задан 06 Apr 2017, 23:42 от Gutimore
  • 8 голосов
  • 7 ответов
  • 0 просмотров
7 ответов

Рекомендуемое чтение по общим отладочным технологиям

Какое чтение вы бы порекомендовали по общим методам отладки? Меня больше интересуют принципы и лучшие практики, чем решения для конкретной платформы. Для справки, я в основном работаю с .NET (F #, C #), и балуюсь на Haskell и Ocaml. В один из ...

Задан 12 Sep 2009, 20:10 от 2 revs, 2 users 100%
  • 8 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Генерация кода сценария оболочки CLI из скомпилированного исполняемого файла? [закрыто]

Вопрос, тема обсужденияЯ очень заинтересован в создании исходного кода сценариев оболочки командной строки из кода, написанного на более надежном, хорошо работающем и независимом от платформы скомпилированном языке (например, OCaml). По сути, вы ...

Задан 29 Dec 2012, 12:43 от Sander Maijers
  • 1 голос
  • 0 ответов
  • 0 просмотров
0 ответов

Простой неоптимальный unionfind в OCaml

Я написал программу OCaml дляunion find алгоритм. Этот алгоритм, который я написал, не является оптимальным и является самой простой версией. Я поместил свой код OCaml здесь, потому что я не уверен, достаточно ли этот код хорош(несмотря на сам ...

Задан 07 Feb 2013, 19:59 от Jackson Tale
  • 0 голосов
  • 1 ответ
  • 0 просмотров
1 ответ

Есть какой-нибудь более простой способ реализовать сортировку выбора по месту в OCaml?

Я реализовалnon-in-place версия выбора сортировки в OCaml. let sort compare_fun l = let rec find_min l' min_l origin_l = match l' with | [] -> if min_l = [] then (min_l, l') else let min = List.hd min_l in (min_l, List.filter (fun x -> if x != ...

Задан 21 Feb 2013, 21:39 от Jackson Tale
  • 1 голос
  • 1 ответ
  • 0 просмотров
1 ответ

Извините за задержку с ответом. Я пришел к этому довольно поздно. Благодарю за ваш ответ. Небольшая комбинация вашего первого и второго метода в итоге сработала для меня. Я использовал модуль Locations и модифицировал каждый astnode, чтобы он содержал информацию о местоположении. Таким образом, когда я анализирую свою программу, я присоединяю информацию строки и другую информацию метаданных к генерируемому узлу ast. Это не требует какого-либо внешнего сопоставления, тем самым устраняя еще одну добавленную головную боль.

даю компилятор в OCaml, где грамматика выглядит следующим образом: type expr = | Cons of const | Var of string | List of ( expr list ) | Sum of ( expr * expr ) | Less_than of ( expr * expr ) | Conditional of ( expr * expr * expr ) | ...

Задан 01 Mar 2018, 09:05 от pleasehalp
  • 8 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

ocamlfind не видит установленный пакет

Я хотел скомпилировать свой проект с помощью команды: ocamlfind ocamlopt -package ocamlnet -package batteries -package unix -linkpkg oauth.mlно я получаю следующую ошибку: ocamlfind: Package `ocamlnet' not found make: *** [oauth.cmi] Error ...

Задан 03 Jan 2014, 22:10 от 108592
  • 6 голосов
  • 2 ответа
  • 0 просмотров
2 ответа

Используя динамическое программирование в Haskell? [Предупреждение: решение ProjectEuler 31 внутри]

В решении projecteuler.net 'проблема № 31 [СПОЙЛЕРЫ ВПЕРЕДИ] (считая количество способов заработать 2 £ с британскими монетами), я хотел использоват...

Задан 14 Dec 2012, 00:18 от gnuvince
  • 22 голосов
  • 2 ответа
  • 0 просмотров
2 ответа

http://caml.inria.fr/pub/docs/manual-ocaml/lex.html#infix-symbol

еделил пользовательский оператор равенства (определение не очень важно, поэтому я буду вставлять пустышки): let ( ~=~ ) a b = trueЕсли я попытаюсь использовать инфикс: if a ~=~ b then 1 else 2Я получаю следующую ошибку:This expression is not ...

Задан 27 May 2011, 09:51 от Calin
  • 17 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Как установить default-каталог компиляции в Emacs?

Я кодирую OCaml под Emacs, у меня есть одинmakefile в рабочей папке и нескольких подпапках, содержащих.ml файлы. Если я запускаюM-x compile а такжеmake отлично работает на буфереmakefile, но не работает с буфером.ml файл, он дает мне ошибку: -*- ...

Задан 27 Jan 2012, 17:58 от SoftTimur
  • 14 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Почему потоки в OCaml считаются «недостаточными»?

Похоже, многие люди говорят, что OCaml не обладает хорошей способностью к параллелизму, а также не подходит для приложений веб-сервера. Я сейчас учусьруководство ocaml [http://caml.inria.fr/pub/docs/oreilly-book/html/index.html], Похоже, что ...

Задан 02 May 2013, 16:11 от Jackson Tale
  • 12 голосов
  • 2 ответа
  • 0 просмотров
2 ответа

Почему в OCaml std lib так много не хвостовых рекурсивных функций?

Я переписывал многие стандартные библиотечные функции OCaml, чтобы в последнее время использовать хвостовую рекурсию. Учитывая, что это повлекло за собой пря...

Задан 01 Jun 2013, 02:57 от hammarefrey
  • 2 голосов
  • 2 ответа
  • 0 просмотров
2 ответа

подробная ошибка с ocamlyacc

В зубров, достаточно добавить %verbose-errorв файл, чтобы сделать ошибки синтаксического анализатора более многословным. Есть ли способ получить аналогичную функциональность с ocamlyacc? Вот [https://stackoverflow.com/a/1939002/1350116]это ...

Задан 26 Dec 2012, 21:18 от osolmaz
  • 15 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Почему перед этим типом стоит знак плюс?

Я просматривал стандартную библиотеку ocaml и наткнулся на этот код в файле map.ml. module type S = sig type key type +'a t val empty: 'a t'Мне интересно, почему естьtype +'a tи почему автор использует его, а не просто'a t. Его поведение ...

Задан 09 Mar 2013, 00:07 от octref
  • 10 голосов
  • 3 ответа
  • 0 просмотров
3 ответа

Разбор грамматик с использованием OCaml

У меня есть задача написать (игрушечный) парсер для (игрушечной) грамматики с использованием OCaml и не уверен, как начать (и продолжить) эту проблему.Вот&#3...

Задан 18 Oct 2009, 05:23 от DV.
  • 1 голос
  • 0 ответов
  • 0 просмотров
0 ответов

Объединение столбца списков в OCaml

Я хочу существенно транспонировать матрицу в OCaml (без использования рекурсии или каких-либо циклов)Например, если у меня есть следующая матрица:

Задан 17 Apr 2016, 04:52 от halapgos1
  • 62 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

F # против OCaml: переполнение стека

Я недавно нашел презентацию оF # для программистов на Python [http://combiol.org/fs/FSUG_FS4PPv2.pptx]и, посмотрев его, решил самостоятельно реализовать решение «муравьиной головоломки». Есть муравей, который может ходить по плоской сетке. ...

Задан 24 Sep 2011, 10:57 от ttsiodras
  • 8 голосов
  • 4 ответа
  • 0 просмотров
4 ответа

Когда в OCaml вступает в действие смягченное ограничение ценностей?

Может ли кто-то дать краткое описание того, когда наступит ослабленное ограничение стоимости? Я'У нас были проблемы с нахождением краткого и ясного описа...

Задан 22 Mar 2013, 01:28 от yzzlr
  • 54 голосов
  • 9 ответов
  • 0 просмотров
9 ответов

Объяснение сопоставления с моделью

Я пытался объяснить разницу между утверждениями переключателя и сопоставлением с образцом (F #) нескольким людям, но я действительно не смог объяснить это хорошо ... большую часть времени они просто смотрят на меня и говорят "так почему не просто ...

Задан 14 Oct 2008, 03:22 от Nathan W
  • -1 голос
  • 1 ответ
  • 0 просмотров
1 ответ

отличное объяснение. Я бы использовал emptyenv. Спасибо большое за вашу помощь!

я есть кусок кода ocaml, в котором небольшой язык определяется с помощью статической области видимости. Мне нужно внести изменения в этот язык, чтобы область видимости была оценена как динамическая, но я действительно не могу понять, как это ...

Задан 05 Feb 2019, 10:00 от user1658162
  • 9 голосов
  • 4 ответа
  • 0 просмотров
4 ответа

Какова наиболее эффективная реализация массивов с функциональными обновлениями?

Мне нужна массивоподобная структура данных с максимально быстрым функциональным обновлением. Я'Я видел несколько разных реализаций гибких массивов, котор...

Задан 05 Feb 2013, 02:39 от rgrinberg
  • 15 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Как мне сделать автоматическую сериализацию данных объектов данных?

Одним из огромных преимуществ в языках, которые имеют своего рода отражение / интроспекцию, является то, что объекты могут автоматически создаваться из разли...

Задан 22 Apr 2010, 11:49 от Adam Gent
  • 2 голосов
  • 1 ответ
  • 0 просмотров
1 ответ

Правильный способ использования структуры данных в OCaml

Хорошо, я написалbinary search tree в OCaml. type 'a bstree = |Node of 'a * 'a bstree * 'a bstree |Leaf let rec insert x = function |Leaf -> Node (x, Leaf, Leaf) |Node (y, left, right) as node -> if x < y then Node (y, insert x left, right) else ...

Задан 21 Jan 2013, 14:26 от Jackson Tale
  • 12 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Пути библиотеки Ocaml Utop, модуль Core

Я пытаюсь использоватьCore модуль вutop, созданный Jane Street и установленный с помощьюopam. Вот проблема utop # open Core.Std;; Error: Unbound module Coreutop кажется, не имеет пути кCore модуль. Как вы указываете путь, который может быть ...

Задан 04 Jan 2014, 22:35 от user3161399
  • 7 голосов
  • 2 ответа
  • 0 просмотров
2 ответа

Разница в производительности между сопоставлением с образцом и if-else

Почему OCaml может генерировать эффективный машинный код для сопоставления с образцом, а не для тестов if-else?Я читал Real World OCaml, и я столкнулсяэтот р...

Задан 18 Jun 2015, 11:34 от Thomas Vanhelden
  • 15 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Инструменты для профилирования кода OCaml

Кто-нибудь знает программы для профилирования кода OCaml, кроме использования опции -p во время компиляции и последующего использования gprof? Я задаю этот вопрос, чтобы проверить, можно ли еще уменьшить время выборки 0,01 секунды?

Задан 08 Feb 2012, 10:41 от maths-help-seeker
  • 11 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

«).

Задан 22 Nov 2010, 05:53 от Zubeen Lalani
  • 11 голосов
  • 0 ответов
  • 0 просмотров
0 ответов

Ключевое слово «as» в OCaml

В ответах к учебным пособиям для OCaml, доступных наэтот сайтнекоторые решения, в том числе устранение последовательных дубликатов элементов списка, записаны...

Задан 05 Nov 2014, 23:54 от Vincent Tjeng
Page 1 of 4
1 2 3 4