About: Type inference

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Automatic detection of the data type of an expression in a programming language

Property	Value
dbo:description	автоматичне визначення типу даних для виразу в мові програмування (uk) automatic detection of the data type of an expression in a programming language (en) automatische typebepaling in programmeertalen (nl) возможность компилятора самому логически вывести тип значения у выражения (ru) automatické přiřazení datového typu výrazu v nějakém programovacím jazyce (cs) mécanisme de recherche automatique d'un compilateur ou un interpréteur des types associés à des expressions (fr)
dbo:wikiPageExternalLink	https://web.archive.org/web/20070218103011/http:/www.cs.berkeley.edu/~nikitab/courses/cs263/hm.html http://dysphoria.net/2009/06/28/hindley-milner-type-inference-in-scala/ http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool http://lucacardelli.name/Papers/BasicTypechecking.pdf http://www.brics.dk/~mis/typeinf.pdf http://www.cis.upenn.edu/~bcpierce/types/archives/1988/msg00042.html
dbo:wikiPageWikiLink	dbr:RPython dbr:Constraint_satisfaction_problem dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:F_Sharp_(programming_language) dbr:Integer_(computer_science) dbr:Clothes_line dbr:Satisfiability_modulo_theories dbr:Firewood dbr:Russell's_paradox dbr:Kotlin_(programming_language) dbr:D_(programming_language) dbr:Floating-point_arithmetic dbr:Clean_(programming_language) dbr:Decidability_(logic) dbr:Hindley–Milner_type_system dbr:Type_system dbr:Type_(type_theory) dbr:Compile_time dbr:Just-in-time_compilation dbr:Dart_(programming_language) dbr:Opa_(programming_language) dbc:Articles_with_example_code dbr:Java_(programming_language) dbc:Inference dbr:Formal_language dbr:FreeBASIC dbr:Functional_programming_language dbr:OCaml dbr:Chapel_(programming_language) dbr:TypeScript dbr:Type_signature dbr:C_Sharp_3.0 dbr:Linguistics dbr:Programming_language dbr:Rust_(programming_language) dbr:Data_type dbr:Local_variable dbr:C_(programming_language) dbr:Computer_science dbr:Table_(furniture) dbr:Go_(programming_language) dbr:Haskell_Curry dbr:Robin_Milner dbc:Type_theory dbr:Type_conversion dbr:Julia_(programming_language) dbr:Polymorphic_recursion dbr:Scala_(programming_language) dbr:C++11 dbr:Function_application dbr:Vala_(programming_language) dbr:J._Roger_Hindley dbr:Leash dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbr:Nim_(programming_language) dbc:Type_inference dbc:Type_systems dbr:Modula-2 dbr:Higher-order_programming dbr:Implicit_type_conversion dbr:Crystal_(programming_language) dbr:Grammar_induction dbr:Robert_Feys dbr:Haskell_(programming_language) dbr:Strongly-typed_programming_language dbr:Visual_Basic_.NET dbr:Constraint-based_grammar dbr:Algorithm_W dbr:Swift_(programming_language) dbr:Run_time_(program_lifecycle_phase) dbr:Dynamically_typed dbr:Statically_typed dbr:Natural_languages dbr:Hindley-Milner_type_system dbr:Type-checking dbr:Luis_Damas
dbp:date	2007-02-18 (xsd:date)
dbp:title	Implementation of Hindley-Milner in Perl 5, by Nikita Borisov (en)
dbp:url	https://web.archive.org/web/20070218103011/http:/www.cs.berkeley.edu/~nikitab/courses/cs263/hm.html
dbp:wikiPageUsesTemplate	dbt:Wt dbt:Main dbt:Reflist dbt:Anchor dbt:More_citations_needed_section dbt:Citation_needed dbt:Type_systems dbt:Rp dbt:Webarchive dbt:Short_description
dct:subject	dbc:Articles_with_example_JavaScript_code dbc:Articles_with_example_C_code dbc:Inference dbc:Type_theory dbc:Articles_with_example_Haskell_code dbc:Type_inference dbc:Type_systems
rdfs:label	Type inference (en) Εξαγωγή τύπων (el) Typová inference (cs) Inférence de types (fr) Inferencia de tipos (es) Typinferenz (de) 型推論 (ja) Type-inferentie (nl) Inferencja typów (pl) Вывод типов (ru) Вивід типів (uk) 类型推论 (zh)
owl:sameAs	freebase:Type inference yago-res:Type inference wikidata:Type inference dbpedia-nl:Type inference dbpedia-de:Type inference dbpedia-fr:Type inference dbpedia-tr:Type inference dbpedia-zh:Type inference dbpedia-ja:Type inference dbpedia-es:Type inference dbpedia-hu:Type inference dbpedia-fa:Type inference dbpedia-ru:Type inference dbpedia-vi:Type inference dbpedia-pl:Type inference dbpedia-el:Type inference dbpedia-cs:Type inference dbpedia-ms:Type inference dbpedia-uk:Type inference dbpedia-global:Type inference dbr:Type inference
prov:wasDerivedFrom	wikipedia-en:Type_inference?oldid=1293182801&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Type_inference
is dbo:knownFor of	dbr:Robin_Milner dbr:Harry_Mairson
is dbo:wikiPageRedirects of	dbr:Inferred_typing dbr:Inferred_typing dbr:Typability dbr:Typability_problem dbr:Type_deduction dbr:Type_reconstruction dbr:Type_recontruction
is dbo:wikiPageWikiLink of	dbr:Syntactic_sugar dbr:List_of_JVM_languages dbr:Xtend dbr:PyPy dbr:System_F dbr:Planning_Domain_Definition_Language dbr:List_of_functional_programming_topics dbr:TypeDB dbr:List_of_undecidable_problems dbr:Comparison_of_programming_languages_by_type_system dbr:Standard_ML_of_New_Jersey dbr:Functional_programming dbr:Comparison_of_relational_database_management_systems dbr:Firefox_version_history dbr:Caml dbr:Constraint_satisfaction_problem dbr:Categorial_grammar dbr:SpiderMonkey dbr:.NET_Framework dbr:C++ dbr:C_Sharp_(programming_language) dbr:Parametric_polymorphism dbr:Cython dbr:Language_Integrated_Query dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:Strong_and_weak_typing dbr:CMU_Common_Lisp dbr:Comparison_of_C_Sharp_and_Java dbr:Satisfiability_modulo_theories dbr:Glasgow_Haskell_Compiler dbr:Haskell dbr:Haskell_features dbr:Visual_Prolog dbr:Kotlin_(programming_language) dbr:Categorical_abstract_machine dbr:Type_erasure dbr:Typing_rule dbr:D_(programming_language) dbr:Java_syntax dbr:Cobra_(programming_language) dbr:Unification_(computer_science) dbr:Hindley–Milner_type_system dbr:Type_class dbr:Type_system dbr:Program_analysis dbr:Automatic_variable dbr:Java_version_history dbr:Function_type dbr:Obliq dbr:Stalin_(Scheme_implementation) dbr:Dart_(programming_language) dbr:Carbon_(programming_language) dbr:C_Sharp_syntax dbr:Opa_(programming_language) dbr:Matita dbr:Java_(software_platform) dbr:OCaml dbr:Parameter_(computer_programming) dbr:Chapel_(programming_language) dbr:Dependent_ML dbr:PascalABC.NET dbr:Shed_Skin dbr:Anonymous_function dbr:Anonymous_type dbr:TypeScript dbr:IIf dbr:PowerShell dbr:C_Sharp_3.0 dbr:Impromptu_(programming_environment) dbr:Principal_type dbr:History_of_programming_languages dbr:Programming_language dbr:Word-sense_disambiguation dbr:Rust_(programming_language) dbr:Apache_Groovy dbr:Recursive_data_type dbr:Foreach_loop dbr:PyDev dbr:Go_(programming_language) dbr:List_of_pioneers_in_computer_science dbr:Ceylon_(programming_language) dbr:Letter_case dbr:Robin_Milner dbr:Covariance_and_contravariance_(computer_science) dbr:Lisp_(programming_language) dbr:Generic_programming dbr:Turing_Award dbr:Nemerle dbr:P-complete dbr:ISWIM dbr:Curry_(programming_language) dbr:Region-based_memory_management dbr:Harry_Mairson dbr:Polymorphic_recursion dbr:Scala_(programming_language) dbr:Mirah_(programming_language) dbr:Logical_framework dbr:Run-time_type_information dbr:Axiom_(computer_algebra_system) dbr:Boo_(programming_language) dbr:Alice_(programming_language) dbr:Vala_(programming_language) dbr:ABAP dbr:Generics_in_Java dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbr:Nim_(programming_language) dbr:Haxe dbr:Miranda_(programming_language) dbr:Comparison_of_programming_languages_(associative_array) dbr:Sigil_(computer_programming) dbr:Bottom_type dbr:Generalized_algebraic_data_type dbr:Handel-C dbr:Programming_language_theory dbr:Lean_(proof_assistant) dbr:Concepts_(C++) dbr:Constraint_logic_programming dbr:Id_(programming_language) dbr:Crystal_(programming_language) dbr:Steensgaard's_algorithm dbr:Nuitka dbr:Elm_(programming_language) dbr:Set_constraint dbr:Stephanie_Weirich dbr:Robert_Feys dbr:Chisel_(programming_language) dbr:Trailing_return_type dbr:EC_(programming_language) dbr:Semipredicate_problem dbr:SequenceL dbr:Inferred_typing dbr:PureScript dbr:History_of_Delphi_(software) dbr:Owl_Scientific_Computing dbr:Visual_Basic_.NET dbr:Flix_(programming_language) dbr:Boxing_(computer_science) dbr:LibertyEiffel dbr:C++17 dbr:Zig_(programming_language) dbr:MLton dbr:Manifest_typing dbr:Swift_(programming_language) dbr:FriCAS dbr:Ballerina_(programming_language) dbr:Haggis_(programming_language) dbr:TADS dbr:Typability dbr:Typability_problem dbr:Type_deduction dbr:Type_reconstruction dbr:Type_recontruction
is dbp:typing of	dbr:Xtend dbr:Standard_ML_of_New_Jersey dbr:Caml dbr:C++ dbr:C_Sharp_(programming_language) dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:Haskell dbr:Visual_Prolog dbr:Kotlin_(programming_language) dbr:D_(programming_language) dbr:Cobra_(programming_language) dbr:Carbon_(programming_language) dbr:Opa_(programming_language) dbr:OCaml dbr:PascalABC.NET dbr:Text_Adventure_Development_System dbr:Go_(programming_language) dbr:Nemerle dbr:Julia_(programming_language) dbr:Curry_(programming_language) dbr:Scala_(programming_language) dbr:Mirah_(programming_language) dbr:Boo_(programming_language) dbr:Alice_(programming_language) dbr:Vala_(programming_language) dbr:ML_(programming_language) dbr:Nim_(programming_language) dbr:Agda_(programming_language) dbr:Extended_ML dbr:Handel-C dbr:Lean_(proof_assistant) dbr:Hume_(programming_language) dbr:Gleam_(programming_language) dbr:Elm_(programming_language) dbr:Chisel_(programming_language) dbr:SequenceL dbr:PureScript dbr:Pony_(programming_language) dbr:Idris_(programming_language) dbr:V_(programming_language) dbr:Zig_(programming_language) dbr:MLton dbr:Swift_(programming_language) dbr:Ballerina_(programming_language) dbr:Futhark_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Type_inference