типизация

Проектирование и разработка идеального средства программирования.

Модератор: Модераторы

Сообщение shade » 09.10.2007 09:51:43

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

Как пхпшник скажу, что ничуть не сложнее. Я за, или по крайней мере за возможность объявлять переменные прям в коде, как в С. Ошибки возникают лишь у тех, что не следует модульной парадигме, а те что аккуратно разбиваю код на небольшие процедуры никаких проблем не испытывают.
Аватара пользователя
shade
энтузиаст
 
Сообщения: 879
Зарегистрирован: 21.02.2006 20:15:48
Откуда: http://shamangrad.net/

Сообщение alexs » 09.10.2007 10:30:09

я имел ввиду железку-числодробилку
а мысль была в том - что есть ли сейчас фактически проц, который поддерживает "универсальные" типы данных на аппаратном уровне?
и, как самый массовый, проц архитектуры x86 имеет такие инструкции?
ведь разговор идёт о компиляторе а не о интерпретаторе
Аватара пользователя
alexs
долгожитель
 
Сообщения: 4053
Зарегистрирован: 15.05.2005 23:17:07
Откуда: г.Ставрополь

Сообщение Vadim » 09.10.2007 10:53:51

alexs
Честно говоря я не знаю, есть ли такой проц. Разработки такие велись, но как дела сейчас - не знаю.
Впрочем для нынешних х86 универсальный тип данных это все наборы еденичек и нулей, которые умещаются в 32 или 64 бита. :) Математическую часть процессора, которая работает с часлами с плавающей точкой, не берём, т.к. там принцип тот же самый, только разрядность регистров выше.
А вот дальше уже идёт самая настоящая интерпретация, вне зависимости от того, с чем работаем - с компилятором или интерпретатором. Ведь представление данных на экран - это именно интерпретация осуществляемая кодом, который вкладывает компилятор дополнительно к логике кода, который написан программистом.
Когда-то хотели делать процессоры и всю логику на основе троичной системы счисления. Вроде бы скорость при этом на порядок выше. Но сложнее математика. :)
Vadim
долгожитель
 
Сообщения: 4112
Зарегистрирован: 05.10.2006 08:52:59
Откуда: Красноярск

Сообщение alexs » 09.10.2007 11:02:35

Вывод - самый универсальный тип данных - это 0 или 1 :-)
фактически от чего уходили - к тому и вернулись

ещё раз повторюсь - типизация нужна, причём типизация строгая
неявные преобразования типов - это зло.
Аватара пользователя
alexs
долгожитель
 
Сообщения: 4053
Зарегистрирован: 15.05.2005 23:17:07
Откуда: г.Ставрополь

Сообщение Vadim » 09.10.2007 11:15:29

alexs
типизация нужна, причём типизация строгая
неявные преобразования типов - это зло.

До тех пор пока не появится алгоритм не допускающий неоднозначности толкования результата. :)
Vadim
долгожитель
 
Сообщения: 4112
Зарегистрирован: 05.10.2006 08:52:59
Откуда: Красноярск

Сообщение alexs » 09.10.2007 13:06:14

Vadim писал(а):До тех пор пока не появится алгоритм не допускающий неоднозначности толкования результата

он есть - явное определение типов и приведение оных назвается :-)
Аватара пользователя
alexs
долгожитель
 
Сообщения: 4053
Зарегистрирован: 15.05.2005 23:17:07
Откуда: г.Ставрополь

Сообщение Bonart » 09.10.2007 13:43:40

Типизация в идеальном "Виртовском" языке?
Только статическая с автоматическим выводом типов :)
Bonart
новенький
 
Сообщения: 81
Зарегистрирован: 29.06.2007 11:47:40

Re: типизация

Сообщение utkin » 19.01.2009 19:49:40

Я против объявления типов. На мой взгляд нужно 1 базовый, а на нем реализовать остальные (что и сам пытаюсь сделать :D ).
utkin
новенький
 
Сообщения: 46
Зарегистрирован: 07.12.2008 13:03:20

Re: типизация

Сообщение Vadim » 19.01.2009 20:51:50

А мы вообще без типов работаем. Но как-то отличаем дом нарисованный на бумаге, от дома построенного на дачном участке... :)
Vadim
долгожитель
 
Сообщения: 4112
Зарегистрирован: 05.10.2006 08:52:59
Откуда: Красноярск

Re: типизация

Сообщение alexs » 19.01.2009 22:09:11

Можно писать на асемблере - там вобще с байтами напрямую работаеш.
Просто не так удобно.
Типы придуманны специально для удобства - контроль ошибок так легче получается. Самодисциплина чистой воды. А вы с этим боретесь - как будто это зло.
Аватара пользователя
alexs
долгожитель
 
Сообщения: 4053
Зарегистрирован: 15.05.2005 23:17:07
Откуда: г.Ставрополь

Re: типизация

Сообщение perlpunk » 19.01.2009 23:42:12

utkin писал(а):Я против объявления типов. На мой взгляд нужно 1 базовый, а на нем реализовать остальные (что и сам пытаюсь сделать :D ).

Тип является объектом? Это типа Variant чтоли? В случае паскаля - это все это громоздо, неудобно и тормознуто получается.
perlpunk
новенький
 
Сообщения: 90
Зарегистрирован: 26.09.2008 21:19:48

Re: типизация

Сообщение Vadim » 19.01.2009 23:55:16

Назад в будущее - за типами.
Или вперёд в прошлое - против типов.
:)
perlpunk писал(а):Тип является объектом? Это типа Variant чтоли?

Не variant, а наследник TObject, как в .NET.
Vadim
долгожитель
 
Сообщения: 4112
Зарегистрирован: 05.10.2006 08:52:59
Откуда: Красноярск

Re: типизация

Сообщение perlpunk » 20.01.2009 03:35:56

Vadim писал(а):Не variant, а наследник TObject, как в .NET.

так TObject тоже типом является - то что все потомки от TObject это никак не избавляет от типизации, так что тут "мы работаем без типов" не получается.
perlpunk
новенький
 
Сообщения: 90
Зарегистрирован: 26.09.2008 21:19:48

Re: типизация

Сообщение Vadim » 20.01.2009 05:57:13

Нет, человек просто не совсем ясно выразил свою мысль. :) Тип на самом деле один - тип без типа. Или "один главный тип". А всё остальное - образовано от него.
Vadim
долгожитель
 
Сообщения: 4112
Зарегистрирован: 05.10.2006 08:52:59
Откуда: Красноярск

Re: типизация

Сообщение utkin » 21.01.2009 14:53:45

Можно писать на асемблере - там вобще с байтами напрямую работаеш.


Я же не имел ввиду байты. Зачем все так упрощать?

Нет, человек просто не совсем ясно выразил свою мысль. Тип на самом деле один - тип без типа. Или "один главный тип". А всё остальное - образовано от него.


Мне кажется это более удачной идеей. В Паскале же изначально типы не совместимы.

Типы придуманны специально для удобства - контроль ошибок так легче получается. Самодисциплина чистой воды. А вы с этим боретесь - как будто это зло.


Ну Вы прямо готовы порвать меня за предложенную идею (автор не я!!!) :D . Я всего лишь предлагаю, не более. С одной стороны самодисицплина - с другой стороны вечное преобразование типов, которое, обратите внимание, для алгоритма не является обязательным процессом. Числа в строки, строки в числа, байты в числа и прочее. Зачем это?
utkin
новенький
 
Сообщения: 46
Зарегистрирован: 07.12.2008 13:03:20

Пред.След.

Вернуться в Компилятор / язык программирования

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 6

Рейтинг@Mail.ru