История изменений
Исправление AndreyKl, (текущая версия) :
Кстати, «in-depth» интервью с автором idris https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/
Тем кто интересуется будет любопытно ознакомиться с основными идеями технологии и тем как они влияют на практику программирования на этом языке.
Язык английский, конечно...
Исходная версия AndreyKl, :
Кстати, «in-depth» интервью с автором idris https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/
Тем кто интересуется будет любопытно ознакомиться с основными идеями технологии и тем как они влияют на практику программирования на этом языке.