Где-нибудь в России занимаются R&D ЯП, теории типов, etc?

«ИВМиМГ СО РАН» - раньше здесь, а сейчас не знаю.

Кафедра Алгоритмических языков ВМК МГУ

Почему то мне кажется, что лучше уехать в École Polytechnique Fédérale de Lausanne на PhD этим заниматься. Там деньги хорошие платят и Одерски есть :)

В JetBrains должны что-то делать

Там же медведя с балалайками по улице бродят, какие теории, ты чо. Вот типЫ водятся всякие, это да. Хоть из дому не выходи.

теория типов? это ломброзо что ли? определить склонность к преступлениям по лицу? гыы))
а серьёзно - да в каждом ср..аном техническом вузе. и чем федеральней вуз, чем больше там нанотехнологий, тем больше теорий яп. там такие мастодонты работают!... что ты! аж с сороковых годов работают. и книжки пишут. больше ничего не делают.
это всё бред, голубчик. не бывает такого. нет никакого яп, никакого арэнди, теорий типов. нету. это там, у них. а у нас все люди нормальные.

Они разве что Kotlin и MPS пилят, но каких-то интересных штук там нет.

Чтобы что? Разработать новый стандарт для Си?

а у нас все люди нормальные.

Нормальные - это, стало быть, составляющие большинство, те самые 95%.

Одерски — это минус, а не плюс. Его безграмотность в Скале изо всех щелей торчит.

Вижу, тоже скучаешь по haskell, занимаясь программированием на scala за деньгу

Yup.

Нет, если аккуратно с ней обращаться, Scala очень даже ничего.

Не буду спорить, так как ничего в этом почти не понимаю.

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

Зачем тебе на родном? Чтобы в рамочку поставить? Если нужны реальные знания - учи ангельский.

https://stackoverflow.com/questions/415532/implementing-type-inference

Гранд мерси!

Не так там всё сейчас. Мастодонты или сами умерли или выгнали или уехали за бугор, там сейчас всяких креативных уборщиков, дворников, охранников в преподы посадили, которые компьютер включать не умеют.

Он ЯП свой пилит, с кириллицей.

«1С»

Занимаются, только денег за это не платят (как и везде).

Можно поподробнее?

Просто на русском удобнее, но это не обязательно.

1С даже полноценным ЯП тяжело назвать.

Никто же не знает, что будет в 1С 9.

Встроенный язык программирования «1С:Предприятие».

А, понял, это ответ на часть вопроса про дизайн ЯП. Думал, там про теорию типов. Или я что-то не так понял?