Прекрасне про dependent types
Nov. 26th, 2011 10:29 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
madfthedeemon про ATS. Легкою і доступною для всіх мовою.
Треба буде уважніше до цього ATS придивитись. Колись мені вже про нього хтось говорив.
Треба буде уважніше до цього ATS придивитись. Колись мені вже про нього хтось говорив.
