Type inference

Type inference

Type inference refers to the automatic deduction of the data type of an expression in a programming language. If some, but not all, type annotations are already present, it is termed type reconstruction. The reverse operation of type inference is called type erasure.
http://dbpedia.org/resource/Type_inference
Robin Milner
known for
Type_inference
primaryTopic

Type inference

Type inference refers to the automatic deduction of the data type of an expression in a programming language. If some, but not all, type annotations are already present, it is termed type reconstruction. The reverse operation of type inference is called type erasure.
http://dbpedia.org/resource/Type_inference
has abstract
Durch Typinferenz (von englisc ...... t der Typinferenz kollidieren.
@de
In de informatica duidt type-i ...... n de C#-taal sinds versie 3.0.
@nl
Inferencja typów to technika u ...... ić jako funkcje polimorficzne.
@pl
L'inférence de types est un mé ...... e programmation fonctionnelle.
@fr
Los tipos de inferencia es una ...... en el cuerpo de las funciones.
@es
Type inference refers to the a ...... till permitting type checking.
@en
Вывод типов (англ. type infere ...... ing) выведен из инициализатора
@ru
型推論（かたすいろん）とはプログラミング言語の機能の1つで、 ...... け関数型言語のほとんどがなんらかの型推論の機能を持っている。
@ja
类型推论、型別推斷、或隐含类型，是指编程语言在编译期中能够自 ...... 1和Perl 6。 显式的转换到另一种数据类型叫做“强制”。
@zh
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
date
title
Implementation of Hindley-Milner in Perl 5, by Nikita Borisov
url
http://www.cs.berkeley.edu/~nikitab/courses/cs263/hm.html
subject
comment
Durch Typinferenz (von englisc ...... , principal type) eines Terms.
@de
In de informatica duidt type-i ...... zijn) bieden type-inferentie.
@nl
Inferencja typów to technika u ...... podanie wyrażeń do inferatora:
@pl
L'inférence de types est un mé ...... e programmation fonctionnelle.
@fr
Los tipos de inferencia es una ...... en el cuerpo de las funciones.
@es
Type inference refers to the a ...... erence is called type erasure.
@en
Вывод типов (англ. type infere ...... ing) выведен из инициализатора
@ru
型推論（かたすいろん）とはプログラミング言語の機能の1つで、 ...... け関数型言語のほとんどがなんらかの型推論の機能を持っている。
@ja
类型推论、型別推斷、或隐含类型，是指编程语言在编译期中能够自 ...... 1和Perl 6。 显式的转换到另一种数据类型叫做“强制”。
@zh
label
Inferencia de tipos
@es
Inferencja typów
@pl
Inférence de types
@fr
Type inference
@en
Type-inferentie
@nl
Typinferenz
@de
Вывод типов
@ru
型推論
@ja
类型推论
@zh
sameAs
wasDerivedFrom
isPrimaryTopicOf