Type Inference
478
浏览
0
关注

Type inference refers to the automatic deduction of the type of an expression in a programming language. If some, but not all, type annotations are already present it is referred to as type reconstruction. The opposite operation of type inference is called type erasure. It is a feature present in some strongly-typed programming language|strongly Type system#Static typing|statically typed languages. It is often characteristic of, but not limited to, functional programming languages in general. Some languages that include type inference are ML (programming language)|ML, OCaml, Haskell (programming language)|Haskell, Scala (programming language)|Scala, D_(programming_language)|D, Clean (programming language)|Clean, Opa (programming language)|Opa and Go (programming language)|Go. It has lately been added (to some extent) to Visual Basic .NET#Visual Basic 2008 (VB 9.0)|Visual Basic (starting with version 9.0), C Sharp 3.0#Local variable type inference|C# (starting with version 3.0) and...
[展开]
主要的会议/期刊
演化趋势
Chart will load here
Type Inference文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜