2
Çağrı sitesi tabanlı tür çıkarımı araştırılsın mı?
Tüm program türü denetimi hakkında daha fazla bilgi edinmek ve işlev bilgilerini (bilgi işlem gövdesi kullanma standart yaklaşımına ek olarak) hesaplamak için işlev çağrı sitelerinden bilgi kullanan tür çıkarım sistemleri hakkında çalışıyorum. Örneğin, böyle bir algoritma foo(1), içindeki işlevin footamsayı bağımsız değişkenleri aldığını çıkarmak için bir işlev çağrısı kullanabilir . …