Type inference
Type inference, sometimes called type reconstruction: 320 , 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.
| Type systems |
|---|
| General concepts |
| Major categories |
|
| Minor categories |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.