ats

1зной

1ответ

Предисловие: обучение ATS с веб-сайта ATS. При попытке вытащить запись из списка, как только я попытаюсь ссылаться на переменную записи, я получаю ошибку типа на x4.a ниже. Так почему же это не удаетс

1зной

1ответ

В чем смысл $ effmask_all в ATS?

Я видел квазифункциональные символы $effmask_all и $effmask_ref много раз в коде библиотеки ATS. В чем смысл этих символов? Когда их следует называть?

0зной

2ответ

У меня есть несколько вопросов о foldleft в ATS

У меня есть задание, которое я должен сделать для школы, которое включает в себя использование foldleft, чтобы найти длину списка. Мой вопрос заключается в реализации foldleft. Нам был приведен пример

1зной

1ответ

В чем разница между случаем, случаем + и случайным ATS?

Я часто вижу случай-выражение в ATS, сформированное с использованием case, case+, или case-. В чем разница?

1зной

1ответ

Почему ATS не поддерживает рекурсивные типы?

Согласно this answer, ATS «используется для поддержки» рекурсивных типов. Что послужило основанием для удаления этой функции? Кроме того, есть планы по его повторному внедрению в будущем? ТИА.

0зной

1ответ

Поддерживается ли ООП в ATS?

В принципе, я хотел бы узнать, есть ли какая-то форма объектно-ориентированного программирования, поддерживаемая в ATS. Если есть, укажите мне несколько примеров, связанных с ООП в ОВД.