2
Исследования по выводу типа вызовов?
Я пытаюсь узнать больше о проверке типов в целых программах и системах вывода типов, которые используют информацию с сайтов вызова функций для вычисления информации о типах (в дополнение к стандартному подходу использования тела функции). Например, такой алгоритм может использовать вызов функции, например, foo(1)чтобы сделать вывод, что функция fooпринимает целочисленные аргументы. …