Mentre ci sono / c'erano diverse lingue con tipi dipendenti , come Agda , Coq o Epigram , nessuno sembrava ottenere un'adozione più ampia. Nonostante i tipi dipendenti consentano una sicurezza di tipo molto strong, fino alla scrittura di spe...
posta
16.08.2016 - 10:43