Označte pravdivost následujících výroků o typech proměnných v programovacích jazycích: - Pojem typová inference označuje přístup, kdy se typ parametrů metody a typ návratové hodnoty odvozuje z obsahu metody. - Typová nezávislost označuje situaci, kdy do proměnné můžeme přiřadit hodnotu libovolného typu. - U "silně typových jazyků" jsou všechny chyby v typech zjištěny při překladu či za běhu programu. - Java provádí všechnu typovou kontrolu při překladu a žádnou za běhu.

Pravdivé: - Pojem typová inference označuje přístup, kdy se typ parametrů metody a typ návratové hodnoty odvozuje z obsahu metody. - Typová nezávislost označuje situaci, kdy do proměnné můžeme přiřadit hodnotu libovolného typu. - U "silně typových jazyků" jsou všechny chyby v typech zjištěny při překladu či za běhu programu. Pozn: Typová kontrola je jakýsi prostředek pro detekování určitého druhu chyb během překladu programu. Zajišťuje, že operandy a operátory (metody a jejich parametry) jsou kompatibilního typu. V Javě, která je silně typový jazyk se provádí též při překladu.