Vaya yo la termine hace seis años..... el nivel semantico es que el programa funciona como tu lo has diseñado.
La rigidez de tipos, cosa que se invento hace mas de 30 años y por ello no han dejado de fallar los programas, es una validación a nivel sintáctico.
El nivel semantico es validar que la implementación se corresponde con el diseño.
Re:Los lenguajes dinámicos retrasan...
(Puntos:1)La rigidez de tipos, cosa que se invento hace mas de 30 años y por ello no han dejado de fallar los programas, es una validación a nivel sintáctico.
El nivel semantico es validar que la implementación se corresponde con el diseño.