纳特总维修工 Коц

Почему в каких-то местах Some работает нормально, а в каких-то отказывается это делать?

Получается, от реализации языка зависит, будет ли он тьюринг-полным? Разве это не значит, что реализации создают диалекты того языка, который есть на бумаге?

У Dune есть какие-то альтернативы или это безоговорочный лидер в своей нише?

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

Здравствуйте, я пишу дипломную работу, в рамках которой разрабатываю язык, компилирующийся в байт-код JVM. Собственно, пришёл к выводу, что не могу определить точное направлен...

Есть какой-то смысл в поиске схожести строк с помощью разных алгоритмов и дальнейшего нахождения медианного значения?

Кто-нибудь знает, как ещё писать бэк без фронта, кроме как использовать Postman для создания запросов на сервер?

Кто-нибудь знает, был ли где-то подробный туториал по алгоритму вывода типов Хиндли-Милнера на Java?

Прошу прощения, это нейронка?

А где почитать, как пишутся LL(k) лексер и парсер? Только простым языком, а не как в "Теории синтаксического анализа, перевода и компиляции". Я писал лексер во время изучения ...

Как подключить lambda-term к dune-проекту? Пробовал добавлять имя в (libraries), но это не работает. Ocamlfind находит её.

Брух, это эзотерический язык программирования, на котором мне совершенно не хочется что-то писать. Есть какой-нибудь вариант без написания кода на нём?

Здравствуйте, такой вот глупый вопрос от новичка. Я пишу компилятор простого ML-подобного языка в байт-код JVM, сейчас сделал объявление полей класса. Где лучше размешать стей...

Есть смысл читать "Гомотопическую теорию типов"?

Есть смысл второй раз пробовать прочитать двухтомник Ахо и Ульмана про синтаксический анализ или для диплома хватит тех знаний, которые уже есть? Просто я буду сдавать этот ин...

Opam сам найдёт потом скачанные ранее пакеты?

Допустим, у меня класс выглядит как-то так: java class Aboba { public Integer a; { this.a=42; } public String x; { this.x=""+this.a; }...

А я потеряю что-нибудь?

А какой смысл, если у него одна из опций бэкенда - ANTLR? Я могу сразу ANTLR использовать.

То есть без написания клиента не обойтись?