RT
Size: a a a
2019 December 22
AP
А, ну да. Типы же тут же объявляются, так что конструкторы заняты
RT
Вот
AP
Для типов из других модулей прокатит :)
RT
Именно так и было )
AP
Вообще если эти "стрингуемые" типы существуют вместе, то можно просто фантомный тип-тег сделать и всё
DR
Вообще если эти "стрингуемые" типы существуют вместе, то можно просто фантомный тип-тег сделать и всё
А если там там не только string, а и другие типы?
AP
Тогда линзы, чё
AP
А если там там не только string, а и другие типы?
Речь про рекорды? Если да, то геттеры полиморфные же
AP
nameOf x = x.nameDR
AP
Ну тут строки в однопараметровые конструкторы обёрнуты
DR
Ну да, типа смысла нет?
AP
Вот Боб и вода — разные типы
AP
но функция превращения в строку — общая
DR
Это понял
AP
Причём в принципе не обязательно даже строку хранить внутри
AP
type Tagged t a = Tag auntag (Tag x) = xAP
Эльмовый компилер вроде даже умеет такие тонкие обёртки выбрасывать (хотя я могу и ошибаться)