1
Типы как гражданин первого класса
Исходя из опыта C ++, я не понимаю, зачем нужны типы / выражения типов как первоклассный гражданин? Единственный язык, который я знаю, который поддерживает эту функцию, это Aldor. Есть ли у кого-нибудь литература о типах как первоклассном гражданине или есть причины, почему это полезно?