Как там выводятся трейты для типов вообще?
ad-hoc polymorphism
а вообще, про что ты именно?
по Хиндли Милнеру
Я всё ещё жду чтобы ты ЛС глянул кст
Допустим мне нужно вывести в консоль объект. В Ниме мне нужно определить для него процедуру $, в Расте реализовать для него трейт. Однако в Ниме я могу ничего не делать, реализация по умолчанию с помощью compile-time магии выводит все поля. В Расте более очевиднее - я вешаю макрос derive на структуру, он в CT пробегается по полям и генерирует функцию для вывода в консоль. Как это происходит в функциональных языках?
Я после макросов не могу в языки без макросов :( На F# поэтому забил, год назад тыкал
вот вчера начал тыкать, изза того что на nim нет работающей с prologue либы для монги
там разве ни одна не работает?
Обсуждают сегодня