Type inference
Type inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics.
known for
.NET FrameworkABAPAgda (programming language)Alice (programming language)Anonymous functionAnonymous typeApache GroovyAutomatic variableAxiom (computer algebra system)Ballerina (programming language)Boo (programming language)Bottom typeC++C++17CMU Common LispC Sharp (programming language)C Sharp 3.0C Sharp syntaxCamlCategorial grammarCeylon (programming language)Chapel (programming language)Chisel (programming language)Cobra (programming language)Comparison of C Sharp and JavaComparison of programming languages (associative array)Comparison of programming languages by type systemComparison of relational database management systemsConstraint logic programmingConstraint satisfaction problemCovariance and contravariance (computer science)Crystal (programming language)Curry (programming language)CythonD (programming language)Dart (programming language)Dependent MLEC (programming language)Elm (programming language)F* (programming language)
Link from a Wikipage to another Wikipage
Agda (programming language)Alice (programming language)Ballerina (programming language)Boo (programming language)C++C Sharp (programming language)CamlChisel (programming language)Cobra (programming language)Curry (programming language)D (programming language)EC (programming language)Elm (programming language)F* (programming language)F Sharp (programming language)Go (programming language)Handel-CHaskell (programming language)Kotlin (programming language)ML (programming language)Mirah (programming language)NemerleNim (programming language)OCamlOpa (programming language)PascalABC.NETPureScriptRust (programming language)Scala (programming language)SequenceLStandard MLStandard ML of New JerseySwift (programming language)TADSVala (programming language)Visual PrologXtendZig (programming language)
typing
primaryTopic
Type inference
Type inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics.
has abstract
Durch Typinferenz (englisch Ty ...... Swift, Vala, und Visual Basic.
@de
In de informatica duidt type-i ...... e versies van C++, C# en Java.
@nl
Inferencja typów – technika uż ...... ić jako funkcje polimorficzne.
@pl
L'inférence de types est un mé ...... e programmation fonctionnelle.
@fr
La inferencia de tipos' es una ...... en el cuerpo de las funciones.
@es
Staticky typované jazyky vyžad ...... vozovat také typové parametry.
@cs
Type inference refers to the a ...... puter science and linguistics.
@en
Ο όρος εξαγωγή τύπων ή συμπερα ...... γχο των τύπων (type checking).
@el
Ви́від ти́пів (англ. type infe ...... ng) виведений з ініціалізатора
@uk
Вывод типов (англ. type infere ...... веден исходя из инициализатора
@ru
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,019,307,176
Link from a Wikipage to another Wikipage
date
2007-02-18
title
Implementation of Hindley-Milner in Perl 5, by Nikita Borisov
@en
url
wikiPageUsesTemplate
comment
Durch Typinferenz (englisch Ty ...... , principal type) eines Terms.
@de
In de informatica duidt type-i ...... zijn) bieden type-inferentie.
@nl
Inferencja typów – technika uż ...... podanie wyrażeń do inferatora:
@pl
L'inférence de types est un mé ...... e programmation fonctionnelle.
@fr
La inferencia de tipos' es una ...... en el cuerpo de las funciones.
@es
Staticky typované jazyky vyžad ...... i kompilátor nedovedl poradit.
@cs
Type inference refers to the a ...... puter science and linguistics.
@en
Ο όρος εξαγωγή τύπων ή συμπερα ...... γχο των τύπων (type checking).
@el
Ви́від ти́пів (англ. type infe ...... ng) виведений з ініціалізатора
@uk
Вывод типов (англ. type infere ...... веден исходя из инициализатора
@ru
label
Inferencia de tipos
@es
Inferencja typów
@pl
Inférence de types
@fr
Type inference
@en
Type-inferentie
@nl
Typinferenz
@de
Typová inference
@cs
Εξαγωγή τύπων
@el
Вивід типів
@uk
Вывод типов
@ru