Пирс (2002) вводит отношение типирования на странице 92, записывая: Отношение типа для арифметических выражений, написанное «t: T», определяется набором правил вывода, назначающих типы терминам и сноска говорит, что символ часто используется вместо:. Мой вопрос просто, почему теоретики типов...