Тип с плавающей запятой — Real или Float?

Question

[Freeman]

Возник вопрос, как правильней назвать семейство типов с плавающей запятой, -- с использованием слова Real (действительное) или Float (плавающее)? Слово float -- не жаргон ли, ведь машинное представление именуется floating point?

Исторически сложилось, что в Паскале числа с плавающей запятой обозначаются словом real, а в Си -- float. Это разная терминология, предпочтения разработчиков (вкусовщина), разность мышления, особенности английского языка по разные стороны Атлантики? Я не знаю ответа.

Как с вашей точки зрения будет правильней назвать семейство типов в языке:

• Real[n] и SingleReal, DoubleReal и ExtendedReal.
  
• Float[n] и SingleFloat, DoubleFloat и ExtendedFloat.
  

По возможности обоснуйте свой ответ.

На данный момент в языке уже есть типы Integer[n] и Word[n], плюс соответствующие им ByteInt, ShortInt, LongInt, QuadInt и Byte, ShortWord, LongWord, QuadWord. С их именованием проблем не было: выбранные термины однозначны и для математической природы целых чисел, и для их машинного представления.

Answer 1

[Армянское Радио]

Проблема в том, что компьютер (любой) не в состоянии хранить и обрабатывать действительное число - он может хранить только число рациональное, с плавающей или фиксированной запятой.

Поэтому, использование real будет натуральным враньем - правильно говорить о float и fixed.

Comments

[Андрей]

> компьютер (любой)
а аналоговый ;-)

[Армянское Радио]

Андрей: погрешность аналогового компьютера существенно больше погрешности цифрового. "Точно" сохранить произвольное действительное число он не сможет.

[Freeman]

> использование real будет натуральным враньем - правильно говорить о float и fixed.
Вы навели меня на правильные мысли. Поскольку язык делается с расчетом на системное программирование, логичней отталкиваться от машинного представления. Тогда ADT будет иметь полное имя FloatingPoint, а машинные типы -- SingleFloat, DoubleFloat и ExtendedFloat -- уже с сокращениями, по аналогии с переходом Integer → Int для целых.

[Freeman]

Армянское Радио: Ответьте, если согласны с таким именованием.

[Армянское Радио]

Vapaamies: Неплохо, хоть и довольно помпезно. Придется часто давить Ctrl-Пробел, вызывая автодополнение в IDE.

[Андрей]

Армянское Радио: Я не утверждал, что аналоговый компьютер хранит "точное" число. Я лишь отметил, что существует класс компьютеров, оперирующих НЕ рациональными числами.

[Армянское Радио]

Андрей: Аналоговый компьютер оперирует не числами, а физическими величинами - напряжением, силой тока, давлением и так далее. Это не числа.

Answer 2

[jcmvbkbc]

На данный момент в языке уже есть типы Integer[n] и Word[n]

Word -- тоже ни разу не однозначное слово, особенно на всяких забавных ABI типа x32 или мипсового n32: хотя регистры процессора при этом 64-битные, указатели, инты и лонги -- 32-битные.

Comments

[Freeman]

Вопрос не про разрядность, а про именование. Word -- это что модно сейчас называть UInt. Какое-то недоназвание... В ассемблере слова всегда слова, никаких UInt нет. А эти ваши x32 вообще к адресам относятся, а не к данным.

[jcmvbkbc]

Vapaamies: word -- это тоже сокращение от machine word, машинное слово, т.е. регистр. Называть вордом любое беззнаковое целое -- нелогично.

[Freeman]

jcmvbkbc: Вот чёрт, а! Вы заставляете меня задуматься...