Вопросы с тегом ocaml - PullRequest

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

0 голосов
1 ответ

Я хотел бы разложить этот код: (* This function is applied to the result of functions below *) let...

truvaking / 15 января 2019
0 голосов
0 ответов

Я установил пакет z3 отсюда https://github.com/Z3Prover/z3.git Однако ocamlfind не может найти его....

harin04 / 15 января 2019
0 голосов
1 ответ

Я новичок в языке OCaml, сейчас смотрю. Есть пример, который использует Int.descending, но я не...

user10915470 / 15 января 2019
0 голосов
1 ответ

При попытке начать работу с Reason в одном проекте JavaScript у меня есть чрезвычайно легкий файл,...

ELLIOTTCABLE / 15 января 2019
0 голосов
4 ответов

При использовании строго функциональных языков вы обязаны писать программы. Я столкнулся с...

ranu / 14 января 2019
0 голосов
1 ответ

Мне интересно, как выглядит файл dune для библиотеки (а не для исполняемого файла), которая...

et4te / 14 января 2019
0 голосов
0 ответов

Я пытаюсь установить пакет Z3 (https://github.com/Z3Prover/z3.git) Я выполнил следующие команды

harin04 / 14 января 2019
0 голосов
0 ответов

Я пытаюсь создать графическую программу Ocaml в Windows, но не могу создать ее без окна консоли....

Maurizio Ferreira / 13 января 2019
0 голосов
1 ответ

Я занимаюсь самостоятельным изучением встраивания и альфа-преобразования, и есть часть, которую я...

dajavanoob / 13 января 2019
0 голосов
1 ответ

Я не понимаю следующий код: type 'a b_tree = Empty | Node of 'a*'a b_tree*'a...

dghkgfzyukz / 13 января 2019
0 голосов
2 ответов

Я изучаю функциональное программирование и не понимаю типы в OCaml, и я не нашел ничего...

user4789408 / 13 января 2019
0 голосов
2 ответов

Допустим, у нас есть функция, которая принимает в качестве входных данных набор логических...

user42493 / 13 января 2019
0 голосов
2 ответов

Как новичок в OCaml, я пытаюсь написать функцию, которая принимает два аргумента int (a и b) и...

JeremCxnone / 13 января 2019
0 голосов
1 ответ

Я пытаюсь реализовать функцию, скажем, f1, и я использую ранее определенную функцию, скажем, f2,...

user42493 / 12 января 2019
0 голосов
1 ответ

Я реализую метод в Ocaml, чтобы выполнить сжатие данных кодирования по длине прогона списка...

user42493 / 12 января 2019
0 голосов
1 ответ

Я попробовал рекурсивную версию русского крестьянства без хвоста, и она вернулась так: let rec...

nafhgood / 11 января 2019
0 голосов
1 ответ

Я пишу переводчик языка с OCaml. С ApplyOver мне нужно отобразить функцию на каждое значение...

user4789408 / 10 января 2019
0 голосов
1 ответ

Я кодирую интерпретатор OCaml, и я бы проверил, есть ли дубликаты в списке пар. type exp = ... |...

user4789408 / 10 января 2019
0 голосов
2 ответов

Сравнение с не-литеральными значениями Я в Ocaml (reasonml) могу сопоставить целочисленные значения...

Jacob Parker / 10 января 2019
0 голосов
0 ответов

Я пытаюсь установить OCaml на Windows 10, следуя this . Когда я запускаю команду opam install...

uncle liu / 10 января 2019
0 голосов
1 ответ

Я играл с объектной системой OCaml и печатал в целом. Недавно я играл с полиморфными вариантами и...

OcamlUser412 / 10 января 2019
0 голосов
1 ответ

Рассмотрим следующий код в OCamel: let rodrigue="The cid" ; let diegue="cid's...

nafhgood / 08 января 2019
0 голосов
0 ответов

Я пытаюсь установить z3 (https://github.com/Z3Prover/z3) Я выполнил следующую команду. > python

harin04 / 08 января 2019
0 голосов
1 ответ

Я пытался проверить первую точку входа в эту игру - игру. Но когда он пытается его скомпилировать,...

Malviyaop / 08 января 2019
0 голосов
1 ответ

Я пытаюсь понять следующий код для объявления функции: let string_of_int = function | 0 ->...

nafhgood / 08 января 2019
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...