Semantica

Al comparar los tipos

  • Equivalencia estructural de tipos
  • Equivalencia por nombre

Los alias

Compatibilidad por nombres(igualdad nominal) directamente se usan los alias de tipos para comparar.

Analisis de ambito, ver donde estan declaradas las variables...

El analisis de tipos desde las hojas