Раскопки Майтрейи Коц

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

Где-то есть статьи, как писать на OCaml после Kotlin (ну или похожей направленности)? Я привык к интерфейсам и наследованию классов, а здесь это выглядит совершенно не так.

Кстати, кто-нибудь знает, где в материковом Китае занимаются компиляторами?

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

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

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

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

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

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

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

Кстати, где лучше спрашивать про Dream? Хочу в кои-то веки написать простой бэк для мобильного приложения не на Kotlin + Spring Boot, а на OCaml + Dream. Документация и Гугл п...

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

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

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

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

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

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

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

А рассматривается вариант с биндингами Java <-> OCaml?

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