Back Typová inference Czech Typinferenz German Εξαγωγή τύπων Greek Inferencia de tipos Spanish استنباط نوع Persian Inférence de types French Típuskövetkeztetés Hungarian 型推論 Japanese Inferens jenis Malay Type-inferentie Dutch
| Type systems |
|---|
| General concepts |
| Major categories |
|
| Minor categories |
Type inference, sometimes called type reconstruction,[1]: 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.
- ^ Benjamin C. Pierce (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search