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 foo
mengambil argumen integer. Jelas ini akan menyulitkan inferensi banyak dan membuat pemeriksaan menjadi non-modular.
Bagaimanapun, saya belum beruntung menemukan penelitian tentang pendekatan ini, mungkin karena saya tidak tahu terminologi yang tepat untuk menggambarkan apa yang saya bicarakan. Ada petunjuk?