5
Яку найінтуїтивнішу теорію залежного типу я міг вивчити?
Мені цікаво зрозуміти дійсно залежне введення тексту. Я читав більшість TaPL і читав (якщо не повністю поглинений) "Залежні типи" в ATTaPL . Я також читав і переглядав купу статей про залежність від набору тексту. Багато дискусій з теорії типів, як видається, зосереджені на додаванні додаткових функцій до систем попереднього типу, …