ну он сказал довольно неплохо что типизация это механизм чтобы засунуть семантику в типы, сорян не точно я воспроизвел. мне определение понравилось. просто опять же - возможно в крестах есть способ прокидывать нечто с типами что можно было бы отнести к тому что делается у завтипов. хз вобщем
В плюсах есть конст-дженерики (или их аналог), которые позволяют частично выражать штуки из завтипов, но до полной их мощности не докатывают. Он мог бы показать хотя бы это, но нет, он просто демагогствовал и переводил стрелки. Задвигал что-то про компиляторы и т.п.