5
Qual é a teoria do tipo dependente mais intuitiva que eu poderia aprender?
Estou interessado em obter uma compreensão realmente sólida da digitação dependente. Eu li a maior parte do TaPL e li (se não totalmente absorvido) 'Tipos Dependentes' no ATTaPL . Também li e vasculhei vários artigos sobre digitação dependente. Muitas discussões da teoria dos tipos parecem se concentrar em adicionar recursos …