Dima
Меня в последнее время вот что удивляет, от языка который позиционирует себе как системный требуют системы типов лучше чем минимум в хаскеле, идрис, чё вообще происходит?
И требуют не просто так, а потому что с ограничениями системы типов сталкиваешься в обычном коде из-за дизайна лайфтаймов и импл трейтов