Доброго здоровья, George!
12 Feb 04 11:56, George Shepelev написал для Sergei Tuchinski:
ST>>>>>> "строгой типизацией" ты называешь указание размеров встроенных ST>>>>>> арифметических типов данных? GS>>>>> Да. ST>>>> фигня это. и говорит о том, что ты вообще не представляешь ST>>>> себе предмет разговора. GS>>> Представляю. ST>> тогда не надо привязывать строгость типизации к размерам встроенных ST>> типов данных GS> Они в языке "ассемблер" связаны самым неразрывным образом.
мы про ассемблер заговорили вдруг? строгая типизпция подразумевает контроль согласования используемых типов данных и операций на этапе компиляции. при этом может допускаться неявное преобразование типа, если оно непротиворечиво. а "отличать слово от байта" - это понимание на уровне детской песочницы. но опять же, опускаясь до твоего уровня. ты, например, в курсе, что в с++ преобразование unsigned в signed невозможно даже через static_cast<>?
ST>>>> кстати говоря, даже по поводу твоих высказываний. например, ST>>>> код GS>>> Да, я в курсе, что там не всё проверяется. К сожалению. ST>> все проверить невозможно. и, более того, не нужно. GS> Весьма желательно. Ибо полезно. Если нужно, вводить опции, отключающие GS> какие-то проверки (для любителей приключений).
Джером К. Джером очень удачно сформулировал принцип, иначе именуемый, например, "бритвой оккама" - "В лодку с собой следует брать не все то, что МОЖЕТ ПРИГОДИТЬСЯ, а то, без чего HЕЛЬЗЯ ОБОЙТИСЬ". Контроль диапазона (который ты называешь "контролем типов") может и должен реализовываться на уровне библиотеки.
ST>> язык должен предоставить инструмент, позволяющий (в идеале - ST>> стимулирующий) писать грамотно организованные программы и производить ST>> контроль ошибок на этапе компиляции. GS> Именно. И, в частности, производить контроль типов.
несомненно. не надо только подменять понятия
ST>>>> без проблем скомпилируется в ВР. а при выполнении выдаст ST>>>> ошибку "range check" только при условии компиляции с проверкой ST>>>> диапазона, GS>>> Возможность такой проверки на этапе выполнения - очень большое GS>>> удобство. ST>> не спорю, но кто сказал, что такое средство должно быть атрибутом ST>> языка, а не библиотеки?
GS> Подобные средства удобно вносить именно в компилятор, чтобы не вынуждать GS> делать соответствующий код разработчиков библиотек. Контрольный пример -
может быть, тогда стоит и все библиотеки заодно в компилятор воткнуть? и все программы пользовательские туда же заодно - чтобы "не вынуждать"
GS> подумай, как будет выглядеть отладка программного комплекса в каждом GS> из возможных вариантов...
а теперь ты подумай, как у тебя должен будет выглядеть компилятор В КАЖДОМ ИЗ ВОЗМОЖHЫХ ВАРИАHТОВ....
Все, я обсуждение закрыл. С тобой спорить неинтересно, ты слишком слабо разбираешься в вопросе.
WBR, Сергей. ICQ: 101347299
... Мужчины воюют, женщины делят трофеи.