типизация

[Дож]

AbakAngelSoft
Можно, и в предыдущем от тебя посту Sergei I. Gorelkin описал как это делается.

А в php есть проверка типов по время выполнения?

[Brainenjii]

IsInteger() с товарищами там вроде есть

[Дож]

Brainenjii
Я имел ввиду что произойдет если я попробую перемножить две строки

[AbakAngelSoft]

получишь 0 или false, что равнозначно. Зачем спрашивать - можно и попробовать.

Добавлено спустя 2 минуты 55 секунд:
кстати gettype возвратит тип полученного значения integer!

[kovinik]

из учебника: "тип переменной описывает НАБОР значений, которые она может принимать, и ДЕЙСТВИЯ, кторорые могут быть над ней выполнены."

пример:
var
s1, s2, s3: string;
begin
s2 := '1';
s3 := '1';
s1 := s2 + s3;

вопрос: какой должен быть результат, '11' или '2' ?

типы и нужны для того что-бы правильно определить ДЕЙСТВИЕ выполняемое оператором. в данном случае '+'. иначе нужно будет плодить кучу операторов для каждого спорного случая.
в принципе можно, дело вкуса.

в принципе базовых типов немного: целый(перечислимый), плавающий(вещественный), строковой, ссылочный, структурный, процедурный.

компилятор сам определяет количество байт для типа, по дельте.
byte = 0..255; delta = 255-0+1 = 256 = 1 byte
word = 0..65535; delta = 65535-0+1 = 65536 = 2 byte
и т.д.
хотя плавающие фиксированны, но в принципе можно и сними тоже самое. зависит от компилятора.

переменная - это объект. для его(их) преобразования нужны операции, если они уникальны то тип переменной не нужен, если они перегружены, то нужен.

[Дож]

kovinik
Еще есть такая вещь, как динамическая типизация (python, например). И люди спокойно себе пишут проги.

[runewalsh]

Описать 2 числовых типа, которые будут между собой несовместимы

Меня интересует возможность заставить это не компилироваться:

Код: Выделить всё

type
  tWidth = type longint;
  tHeight = type longint;

var
  w : tWidth;
  h : tHeight;

begin
  w := 5;
  h := 6;
  w := h;  // даёшь ошибку компиляции в таких случаях
end.

[alexrayne]

Есть языки в которых етот код вызвал бы ошибку и нужно явно делать приведение типов (ада вдхл), однако по моему опыту такая паранойя со стороны компилятора ничего кроме тошноты и раздражения не вызывает. что кстати и подтверждается известной распространенностью этих языков.
В данном коде кажись что дельфа что фрюха выдадут ворнинг и имхо этого достаточно.
основная защита от ошибок была и остаетс имхо культура программиста и качественное тестирование.

[Максим]

Меня интересует возможность заставить это не компилироваться:

Обычно это достигается объявлением tWidth, tHeight записями.

[ev]

Модульного тестирования недостаточно. Нужна статическая типизация!
полная версия статьи

В своём исследовании я обратил внимание на доводы сторонников динамической типизации, которые считают, что статическая типизация не нужна для выявления ошибок.

Суть их рассуждений в следующем:

• Статической типизации недостаточно для выявления багов, поэтому необходимы модульные тесты;
• Статическая типизация становится лишней, так как у вас есть тесты;
• Из-за статической типизации некоторые корректные программы могут выдавать предупреждения на стадии компиляции.

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

[Vapaamies]

Модульного тестирования недостаточно. Нужна статическая типизация!

Жду теперь статьи "Виртуальная машина не имеет преимуществ перед непосредственной компиляцией".