Tartalomjegyzék:
- Meghatározás - Mit jelent a típusú következtetés?
- A Techopedia magyarázza a típusú következtetéseket
Meghatározás - Mit jelent a típusú következtetés?
A típus-következtetés az egyes kifejezések adattípusainak automatikus levezetése programozási nyelven, általában fordítási időben. Ez magában foglalja egy program elemzését, majd a program néhány vagy mindegyik kifejezésének különféle típusainak következtetését, így a programozónak nem kell kifejezetten megadnia és meghatároznia az adattípusokat minden alkalommal, amikor a változókat a programban használják.A Techopedia magyarázza a típusú következtetéseket
A típus-következtetés gyakran a funkcionális programozási nyelvek fordító funkciója, nem pedig az objektum-orientált nyelveknél. A fordítónak vagy tolmácsnak csak minimális információkra és kontextusra van szüksége ahhoz, hogy kitalálja, mi a változó vagy kifejezés adattípusa.
A következtetési algoritmus megpróbálja meghatározni az argumentumtípusokat, valamint a visszatérési érték típusát, majd megpróbálja megtalálni a legkonkrétabb adattípust, amely az összes argumentummal együtt működik. Alapvető példa a Foo (a, b) = x + y függvény; A fordító tudja, hogy a "+" operátor két egész számot vesz fel, és egy egész számot is ad vissza, tehát most a fordító vagy értelmező arra a következtetésre juthat, hogy Foo-nak az egész típusa is van.
