INFER [ɪnˈfɜː] (инфё) Выводить 1. Being able to infer some type signatures is better than nothing, but it’s far short of the global type inference offered by languages like Haskell and OCaml. — Возможность вывести некоторые сигнатуры типов это лучше, чем ничего, но это далеко от глобального вывода типов, предлагаемого такими языками, как Haskell и OCaml. 2. In this article, we’ve gone through some more advanced examples of type inference. — В этой статье мы рассмотрели несколько более продвинутых примеров вывода типов. 3. Here we declare a new type variable "R" in "My Type", which gets inferred from "T". — Здесь мы объявляем новую переменную типа "R" в "My Type", которая выводится из "T".