Прекрасне про dependent types

[madf]

thedeemon про ATS. Легкою і доступною для всіх мовою.
Треба буде уважніше до цього ATS придивитись. Колись мені вже про нього хтось говорив.