AbakAngelSoft
Можно, и в предыдущем от тебя посту Sergei I. Gorelkin описал как это делается.
А в php есть проверка типов по время выполнения?
Модератор: Модераторы
Max Rusov писал(а):Описать 2 числовых типа, которые будут между собой несовместимы
type
tWidth = type longint;
tHeight = type longint;
var
w : tWidth;
h : tHeight;
begin
w := 5;
h := 6;
w := h; // даёшь ошибку компиляции в таких случаях
end.
runewalsh писал(а):Меня интересует возможность заставить это не компилироваться:
В своём исследовании я обратил внимание на доводы сторонников динамической типизации, которые считают, что статическая типизация не нужна для выявления ошибок.
Суть их рассуждений в следующем:
- Статической типизации недостаточно для выявления багов, поэтому необходимы модульные тесты;
- Статическая типизация становится лишней, так как у вас есть тесты;
- Из-за статической типизации некоторые корректные программы могут выдавать предупреждения на стадии компиляции.
Несмотря на то, что я много раз слышал эти утверждения, я не мог найти им подтверждение. Поэтому я решил выяснить: действительно ли модульные тесты помогают устранить ошибки типизации. Также меня интересовал еще один вопрос: как часто разработчики используют конструкции языков с динамической типизацией, которые невозможно выразить в языках со статической.
Вернуться в Компилятор / язык программирования
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 20