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