Próbuję dowiedzieć się więcej na temat sprawdzania typu całego programu i systemów wnioskowania o typie, które wykorzystują informacje z witryn wywołań funkcji do obliczania informacji o typie (oprócz standardowego podejścia do używania treści funkcji). Na przykład taki algorytm może użyć wywołania funkcji, na przykład, foo(1)
aby wnioskować, że funkcja w foo
pobiera argumenty liczb całkowitych. Oczywiście skomplikowałoby to wnioskowanie i sprawiłoby, że czek nie był modułowy.
W każdym razie nie miałem szczęścia znaleźć badań dotyczących tego podejścia, prawdopodobnie dlatego, że nie znam właściwej terminologii opisującej to, o czym mówię. Jakieś wskazówki?