Ещё одно введение в теории типов

[akuklev]

В математике понятие “теория типов” развивается, и ещё непонятно в какой общности нужно будет давать определение. В контексте информатики теориями типов называют обобщения λ→ - просто типизированного лямбда-исчисления

Comments

[66george]

Расскажите, что делают исследователи в JetBrains. Много ли их, во-первых?

[akuklev]

В основном https://github.com/JetBrains/Arend, ну и так немножко вокруг.
Нет, немного. Смотря как считать от четырёх до семи человек.