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".
