Тема	#	Автор	Дата	Форум
Какие задачи решают системы типов		Temoto	16 лет 2 мес	Философия программирования