kakadu/comp23hw

Реализации miniML коммитить сюда

Придумайте на двоих уникальное название дирекории и создавайте там проект с уникальным называнием. Запишитесь в .github/CODEOWNERS и в Excel-табличку, чтобы я не забыл кто есть кто.

Описание MiniML

На всякий случай, скажу, что фичи нужно реализовывать не все сразу. Итеративная модель разработки подойдет лучше водопадной.

• Целые числа, булевы значения и сравнения числе
• Рекурсивные функции на верхнем уровне (в компиляторе называется structure_item). С учетом каррирования
• Вложенные let-определения и вложенные функции
• stdlib: напечатать что-нибудь, побитовые операции и так далее (много чего можно добавить).

miniML становится не вполне мини c появлением n-ок, паттерн-мэтчинга по ним и в том числе паттернов. После их добавления уже можно переходить к реализации GC.

Если успеем, то будут ещё алгебраические типы и компиляция сопоставления с образцом.

comp23hw's Issues

Когда вся ругань линтера попадает мимо диффа, то не выкладывается ревью

status: 422
body: {
  "message": "Unprocessable Entity",
  "errors": [
    "Body can't be blank and Pull request review thread review comments is invalid"
  ],
  "documentation_url": "https://docs.github.com/rest/pulls/reviews#create-a-review-for-a-pull-request"
}

На следующий год

• более четкие требования к именованию переменных
  • например, они должны быть как в окамле, чтобы нельзя было сделать хаков про имена с подчеркиванием внутри
• требовать явно печатать код на LLVM, чтобы можно был проверить сгенеренное на адекватность
• Собирать исполняемый файл, а не интерпретировать llvm
• пропускать промежуточные представления через компилятор ОКамла, чтобы проверять корректность введенных имен
• Может рассказать про полиморфные варианты, чтобы они ошибки нормально обрабатывали?
• Явно сказать, что пары нужны
• Обязать поддержать частичное примененния операторов. Запретить делать сложение в рантайме из соображений перформанса