теория типов? это ломброзо что ли? определить склонность к преступлениям по лицу? гыы))
а серьёзно - да в каждом ср..аном техническом вузе. и чем федеральней вуз, чем больше там нанотехнологий, тем больше теорий яп. там такие мастодонты работают!... что ты! аж с сороковых годов работают. и книжки пишут. больше ничего не делают.
это всё бред, голубчик. не бывает такого. нет никакого яп, никакого арэнди, теорий типов. нету. это там, у них. а у нас все люди нормальные.
А кстати, какую книжку на родном языке, на бумаге почитать? Или вообще какую книгу? Меня интересует вывод типов в ЯП, а не просто теория, причём, в прикладном варианте. Например, сравнить вывод типов в ML, CMU CL, Typed Racked, Haskell, Rust, C#, gcc и Scala.
Не так там всё сейчас. Мастодонты или сами умерли или выгнали или уехали за бугор, там сейчас всяких креативных уборщиков, дворников, охранников в преподы посадили, которые компьютер включать не умеют.