1
Quale frammento della teoria dei tipi dipendenti di Martin-Löf può essere espressa usando i tipi generici in Java?
Recentemente ho capito che una serie di problemi che ho avuto qualche anno fa nel tentativo di implementare varie teorie matematiche in Java sono dovuti al fatto che il sistema di digitazione in Java non è sufficientemente forte per modellare tutta la teoria del tipo dipendente da Martin-Löf . Prima …