Вопросы с тегом 'ocaml'

OCaml - это строгий статически типизированный функциональный язык программирования, ориентированный на выразительность, корректность и эффективность.
7

Злоупотребление алгеброй алгебраических типов данных - почему это работает?

"Алгебраическое" выражение для алгебраических типов данных выглядит очень наводящим на размышления кого-то, у кого есть опыт в математике. Позвольте мне попытаться объяснить, что я имею в виду. Определив основные типы Продукт • Союз + Синглтон ...
08 февр. '12 в 9:09
17

Что такое функтор в функциональном программировании?

Я встречал термин "Functor" несколько раз, читая различные статьи по функциональному программированию, но авторы обычно предполагают, что читатель уже понимает этот термин. Оглядываясь в Интернете, вы предоставляете либо чрезмерно технические описани...
08 янв. '10 в 21:26
5

F # переходит на OCaml

F # получен из OCaml, но какие основные элементы отсутствуют или добавлены? В частности, мне любопытно, доступны ли ресурсы для обучения OCaml тем, кто хочет узнать F #.
07 окт. '08 в 17:21
5

Почему int в OCaml только 31 бит?

Не видел эту "особенность" в другом месте. Я знаю, что 32-й бит используется для сбора мусора. Но почему так происходит только для ints, а не для других базовых типов?
22 сент. '10 в 22:07
10

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

В чистых функциональных языках, таких как Haskell, есть ли алгоритм, чтобы получить обратную функцию, (редактировать), когда он является биективным? И существует ли конкретный способ программирования вашей функции?
15 нояб. '12 в 18:53
3

Каковы различия между SML и OCaml?

Что отличает два диалекта ML?
31 мар. '09 в 1:19
6

Почему функции в Ocaml/F # не рекурсивны по умолчанию?

Почему функции F # и Ocaml (и, возможно, другие языки) по умолчанию не рекурсивные? Другими словами, почему разработчики языка решили, что было бы хорошей идеей явно ввести тип rec в объявление вроде: let rec foo ... = ... и не дать функции реку...
23 мая '09 в 0:59
7

Почему проще писать компилятор на функциональном языке?

Я очень долго думал об этом вопросе, но на самом деле не смог найти ответ на Google, а также аналогичный вопрос в Stackoverflow. Если есть дубликат, я сожалею об этом. Многие люди, похоже, говорят, что писать компиляторы и другие языковые инструмент...
25 мая '10 в 15:26
10

Машинное обучение в OCaml или Haskell?

Я надеюсь использовать Haskell или OCaml в новом проекте, потому что R слишком медленный. Мне нужно иметь возможность использовать машины поддержки vectory, идеально разделяя каждое выполнение для параллельной работы. Я хочу использовать функциональн...
15 февр. '10 в 21:04
2

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

Недавно я нашел презентацию о F # для программистов на Python, и после просмотра ее решил реализовать решение головоломки ant "самостоятельно. Существует ant, который может перемещаться по плоской сетке. ant может перемещать одно пространство за р...
24 сент. '11 в 10:57
3

Каковы основные теоретические трудности с добавлением модулей ML-стиля в Haskell?

Хорошо известно, что стили класса стиля Haskell и модули ML-стиля предлагают различные механизмы для указания интерфейсов. Они (возможно) эквивалентны по силе, но на практике у каждого есть свои преимущества и недостатки. Поскольку я немного инклюзи...
17 апр. '11 в 17:19
4

Каков предпочтительный способ структурирования и сборки проектов OCaml?

Непонятным для новичков в экосистеме является канонически предпочтительный способ структурирования и управления проектами OCaml малого и среднего размера. Я понимаю основы ocamlc, & c. - они зеркалируют обычные компиляторы UNIX C, достаточные дл...
10 мая '11 в 20:50
5

В чем преимущество чисто функциональной структуры данных?

Существует большое количество текстов по структурам данных и библиотеки структур данных. Я понимаю, что чисто функциональную структуру данных легче рассуждать. Однако мне трудно понять реальное преимущество использования чисто функциональной структур...
09 дек. '10 в 15:23
5

Does!= Имеет смысл в OCaml?

Кажется, это сравнение эквивалентности для некоторых типов, но не строк. # 3 != 3;; - : bool = false # 3 != 2;; - : bool = true Это как и ожидалось. # "odp" = "odp";; - : bool = true # "odp" != "odp";; - : bool = true # "odp" <> "odp";; - :...
11 сент. '09 в 18:50
5

Что действительно более результативно? Haskell или OCaml

Я провел последние 18 месяцев, получив контроль над функциональным программированием, начиная с изучения OCaml и уже несколько недель Haskell. Теперь я хочу сделать следующий шаг и реализовать какое-то реальное приложение: простой редактор ландшафта ...
29 нояб. '10 в 21:10