Я так и начал. Почитай чат сначала. Он задвинул пространную телегу про корпорации и дошколят, но ПО ТЕМЕ внятно ничего не сказал. Ни слова. Только нааутофелировал. Когда мы дошли до чего-то технического, а именно завтипов - я просто спросил "как? покажи!". И тут началось....
ну он сказал довольно неплохо что типизация это механизм чтобы засунуть семантику в типы, сорян не точно я воспроизвел. мне определение понравилось. просто опять же - возможно в крестах есть способ прокидывать нечто с типами что можно было бы отнести к тому что делается у завтипов. хз вобщем