2
Penelitian tentang inferensi tipe berbasis situs panggilan?
Saya mencoba untuk mempelajari lebih lanjut tentang pengecekan seluruh tipe program dan sistem inferensia tipe yang menggunakan informasi dari situs pemanggilan fungsi untuk menghitung informasi jenis (selain pendekatan standar menggunakan fungsi tubuh). Sebagai contoh, algoritma seperti itu mungkin menggunakan pemanggilan fungsi foo(1)untuk menyimpulkan bahwa fungsi dalam foomengambil argumen integer. Jelas …