4
Hubungan antara kontrak dan pengetikan dependen
Saya telah membaca beberapa artikel tentang tipe dependen dan kontrak pemrograman. Dari sebagian besar yang saya baca, tampaknya kontrak diperiksa secara dinamis dan tipe dependen diperiksa secara statis. Ada beberapa makalah yang membuat saya berpikir bahwa ada kemungkinan untuk memiliki kontrak yang diperiksa sebagian secara statis: Memeriksa Tipe Hibrid (C. …