1
Apa fragmen dari teori tipe dependen Martin-Lof yang dapat diekspresikan menggunakan tipe generik di Jawa?
Saya baru-baru ini datang untuk menyadari bahwa suatu jumlah dari masalah aku punya beberapa tahun yang lalu mencoba untuk menerapkan berbagai teori matematika di Jawa datang ke fakta bahwa sistem mengetik di Jawa tidak cukup kuat untuk model semua Martin-Lof teori jenis tergantung . Sebelum Java 5 dan generik, satu-satunya …