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