Ad: dynamická sémantika je protimluv: programátor něco naprogramuje a počítač se dynamicky (za běhu) rozhodne jak to pochopí.
Sémantika nejsou jen typy. Jj14 (diskuse) 5. 9. 2014, 23:11 (UTC)