( geza42 | 2020. 02. 28., p – 09:31 )

Az "ugyan úgy"-gyal azért vitatkoznék. Egy olyan bytekódot csinál belőle, aminek sokkal magasabb szintű instructionjai is vannak, mint egy CPU-nak.

 

A mypy említéséért köszi, megnézem mit tud.

 

Igen, a statikus típusos nyelvek típusrendszere se szűr ki mindent. De egy C++ programban azokat a pontokat, ahol típussal kapcsolatos probléma lehet, kb. az összeset látod (csak rá kell keresni a static_cast, reinterpret_cast szavakra. Ha C-s castokat is használnak - ami ellenjavalt - akkor valami okosabb tool-lal kell végigmenni a castokon).