Новое сообщение в форум Декларативное программирование

Форум	Декларативное программирование
Тема	Как правильно задавать вопросы

Здравствуйте, DarkGray, Вы писали:

DM>>Ccылаясь на TAPL Пирса, педивикия подсказывает:
DM>>In computer science, a type system may be defined as "a tractable [b]syntactic framework for classifying phrases[/b] according to the kinds of values they compute".

DG>во-первых: это определение type system, а не type, во-вторых: это ужасное определение: определение должно определять понятие через более простые, а в данном случае - определение элементарного понятия "type system" идет через такиие неопределяемые понятия как: syntactic, framework, classifying, phrases, kind, compute, according.
DG>можно получить [b]строгое формализованное[/b] определение всех перечисленных понятий?

DG>[url=http://forumbgz.ru/user/upload/file443167.jpg]Image: file443167.jpg[/url]

DG>>>тип int от string в скриптах отличается? каким образом?

DM>>Механикой работы статического типа dynamic. C т.з. компилятора они могут не отличаться. Для какого-нибудь похапе это все 
DG>zvalue.

DG>т.е. весь мир сужен только до задач решаемых компилятором? почему и зачем?.
DG>с точки зрения интерпретатора типы int и string отличаются? например, с точки зрения освобождения памяти? и с точки зрения вызова правильной версии полиморфной операции + (которая по разному складывает числа и строки).

DG>я правильно понимаю, что ты считаешь, что в c# типы есть, а когда ровно с теми же .net-данными(классами, числами и т.д.) работает ironpython, то все типы сразу куда пропадают?

DM>> Для какого-нибудь похапе это все zvalue.

DG>так это однородный тип? или у него есть явные подтипы? например: zvalue-number, zvalue-string, zvalue-dictionary

DG>>>по твоему определению получается что различных типов в скриптах вообще нет.

DM>>Есть один - dynamic. Но я согласен, это не единственный и возможно не самый лучший подход к определению.

DG>ps
DG>даже в вики такие определения:
DG>1) Тип (от греч. τυπος — отпечаток, форма, образец) — единица расчленения изучаемой реальности в типологии
DG>2) Тип данных определяет множество значений, набор операций[1], которые можно применять к таким значениям, и, возможно, способ реализации хранения значений и выполнения операций. Любые данные, которыми оперируют программы, относятся к определённым типам.
DG>3) Тип (сорт) — относительно устойчивая и независимая совокупность элементов, которую можно выделить во всём рассматриваемом множестве (предметной области).[2]
DG>4) In computer programming, a data type is a classification identifying one of various types of data, such as floating-point, integer, or Boolean, that determines the possible values for that type; the operations that can be done on values of that type; the meaning of the data; and the way values of that type can be stored

DG>http://en.wikipedia.org/wiki/Datatype
DG>http://ru.wikipedia.org/wiki/%D0%A2%D0%B8%D0%BF_%D0%B4%D0%B0%D0%BD%D0%BD%D1%8B%D1%85
DG>http://ru.wikipedia.org/wiki/%D0%A2%D0%B8%D0%BF

DG>pps
DG>Языки с неявным определением типов. Казалось бы, BASIC является примером языка без типов. Однако это строго типизированый язык: в нём различаются строковые типы (добавляется символ $), массивы (добавляется []) и числовые типы (ничего не добавляется).

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail