Несмотря на эквивалентность определяемых языков, одна грамматика может быть значительно удобнее другой с точки зрения ее использования:
Трансляторы бывают следующих типов:
Контроль типов осуществляется во время обхода:
Полный набор примитивных типов .NET поддерживает:
К способам представления типов можно отнести:
Можно выделить следующие виды контроля типов:
Из типов данных язык Cи-бемоль поддерживает следующие:
Если контроль типов осуществляется во время трансляции программы, то - это:
Если контроль типов производится во время исполнения объектной программы, то - это:
Задача, решение которой необходимо для проверки правильности использования типов: