Вопросы с меткой [ocaml]

OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.

Фильтрация
Сортировка
Метки
1 голос
0 ответов
40 показов

Практическое применение языка OCaml? [закрыт]

Где используется язык OCaml? Был ли у кого опыт практического применения данного языка. Благодарю за любую информацию.
0 голосов
1 ответ
32 показа

Решить логическое выражение в Coq

Язык:Coq Есть цель: (some_function x || true)%bool = true С помощью какой тактики можно ее решить, не рассматривая первую часть?
1 голос
1 ответ
64 показа

Как использовать конструкцию “i for i in” из python в ocaml

У меня есть функция на питоне: def foo(n, d = 0): if n == 0:return [[]] print(x for x in foo(n-1, 0)) return [[0] + x for x in foo(n-1, 0)] + [[1] + x for x in foo(n-1, 1)] На ocaml это ...
0 голосов
1 ответ
31 показ

Как сделать функцию операций на элементах lazy list (aka "Streams")?

Мне нужно сделать функцию, которая принимает две lazy list и оператор и применяет этот оператор к одинаковым по индексу элементам lazy list. Например, [1;2;3], [2;3;4;5] +, вернет [3;5;7;5]. Lazy list ...
0 голосов
2 ответа
97 показов

Деление массива Scala, Ocaml

Задание: Напишите функцию, которая генерирует другую функцию (factory (??)). Функция должна выполнять следующее: принять массив целых чисел и разделить его на три массива ([числа которые делятся на х],...
0 голосов
2 ответа
61 показ

Ocaml module и module type

Мы сейчас проходим в универе по OCaml модули и типы модулей. Нам дан модуль: module Comp = struct type t = int ref let create () = ref 0 let read s = !s let write s = s:= !s+1 end У нас ...
2 голоса
2 ответа
151 показ

перемешивание списка в Ocaml

Я ищу самый лучший вариант как написать программу в OCaml, которая перемешает элементы списка по следующим способу. Первое число мы вынимаем из списка, и от других мы сделаем два списка, чтобы числа ...
1 голос
1 ответ
175 показов

Установка RLdev под Linux (OCaml)

При сборке инструментов RLdev вылетает ошибка: $ ./configure && omake ........ File "pa_matches.ml", line 24, characters 2-6: Parse error: Deprecated syntax, the grammar module is expected ...
5 голосов
1 ответ
231 показ

Об алгоритме вывода типов рекурсивных функций

В Scala не реализован вывод типов для рекурсивных функций, в качестве аргумента Кей Хорстман в своей книжки пишет что "Алгоритм Хиндли-Милнера не стабильно себя ведёт в языках с ООП". Но, например, в ...