On the other hand, a structural type system would require the analysis of the whole module structure at compile time to determine type identity or type dependence.
Na druhou stranu, strukturovaný typový systém vyžaduje analýzu celé modulové konstrukce při kompilaci k určení typové identity nebo typové závislosti.