Смотреть
В эфире «Дважды два».
00:00 Вступление #ДваждыДва #Мухтаров #нетвойне
00:10 В чём цель типизации?
01:00 Типизация не опирается на цифры?
05:58 Типизация может исходить из сегментации?
11:26 Существенный признак выделяется с точки зрения управляемости типа?
16:17 Нужны ли типы, на которые нельзя влиять?
18:49 Типизация может быть иерархической?