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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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