Язык программирования, где значения и объекты различны

Question

Я пытаюсь начать с "Элементов программирования" Алекса Степанова и Пола МакДжонса. На странице 5 последний пункт: они говорят,

"В этой книге используется язык программирования, который не может описывать значения и типы значений отдельно от объектов и типов объектов".

Я имею в виду, может ли кто-нибудь привести пример языка программирования, где можно описать значения как отдельную сущность от объекта.

Answer 1

Похоже, они ссылаются на типы значений и ссылочные типы. Аналогично тексту в этой записи в Википедии ( http://en.wikipedia.org/wiki/Object_type_%28object-oriented_programming%29)

Некоторые объектно-ориентированные языки программирования проводят различие между ссылочными типами и типами значений, часто называемыми объектами и не-объектами на платформах, где сложные типы значений не существуют, по причинам, таким как эффективность времени выполнения и синтаксические или семантические проблемы. Например, Java имеет классы-обертки примитивов, соответствующие каждому типу примитивов: Integer и int, Character и char, Float и float и т. Д. Языки, подобные C++, почти не имеют понятия ссылочного типа; таким образом, использование типа объекта малоинтересно.

C# имеет как ссылочные, так и типы значений: http://msdn.microsoft.com/en-us/library/4d43ts61%28v=vs.90%29.aspx