Delphi vs C++ vs C# , ну и Java немножко, где-то ближе к старшему байту номеров страниц

Цитата korvin @ 24.02.11, 06:59

Функция -- это и есть данное.

Брр... Ладно, чувствую тут слишком разная терминология. Надо бы покопаться в источниках

Цитата

Какие данные у цифры 1?

Причем тут литерал?

int x = 1;

Вот тут у переменной типа данных int 1 является "данными".

Цитата D_KEY @ 24.02.11, 07:13

Причем тут литерал?

int x = 1;

Вот тут у переменной типа данных int 1 является "данными".

ну а тут

function y (Integer x) : Integer;
begin
  Result := x + 1;
end;

У переменной y типа данных "function (Integer) : Integer" данными является функция

function (Integer x) : Integer;
begin
  Result := x + 1;
end;

Цитата korvin @ 24.02.11, 07:33

Цитата D_KEY @ 24.02.11, 07:13

Причем тут литерал?

int x = 1;

Вот тут у переменной типа данных int 1 является "данными".

ну а тут

function y (Integer x) : Integer;
begin
  Result := x + 1;
end;

У переменной y типа данных "function (Integer) : Integer" данными является функция

function (Integer x) : Integer;
begin
  Result := x + 1;
end;

В общем-то ты прав, но в таких императивных языках, как Delphi и C++, такая точка зрения несколько противоречит языковой идеологии... Все-таки это, как не крути, routines...
Да и не так это важно.
Как бы там ни было, но в общем случае, тип - это скорее описание возможных состояний и интерфейса объекта, а не множество значений, как в случае с "типом данных".

почему противоречит? Может не так удобно ими пользоваться в таком ключе, но вполне можно и ситуация улучшается

Добавлено 24.02.11, 08:01
"тип" и "тип данных" -- синонимы, не бывает просто типов, бывают типы чего-то, а "данные" -- это просто общее название этого "что-то"

Цитата korvin @ 24.02.11, 07:58

"тип" и "тип данных" -- синонимы, не бывает просто типов, бывают типы чего-то, а "данные" -- это просто общее название этого "что-то"

В контексте нашего разговора это понятия разные. Под "типом" понимается то, что понимается под типом некоторого объекта в программировании(в ООП в частности), т.е. возможные состояния и интерфейс, а под "типом данных" - типы, которые могут быть представлены, как множество значений.

нет, любые типы являются множеством значений, не важно как это множество задано

Цитата korvin @ 24.02.11, 08:16

нет, любые типы являются множеством значений, не важно как это множество задано

В теории - да. В ООП и обсуждаемых языках - нет.

class A
{
    virtual void f() = 0;
};

Какое множество значений у данного типа?
А

class A
{
public:
    void f();
private:
    int x;
};

class A
{
public:
    void g();
private:
    int x;
};

Эквивалентные типы?

Добавлено 24.02.11, 08:28
Хотя ты прав, у нас тут не совсем корректная терминология...

1) пустое. Но я уже говорил, что тип при отсутствии объектов этого типа не имеет смысла. Так что это не тип, а просто абстрактный класс

2) а ты скомпилируй и узнаешь =)
(это намек на недостаточность данных для ответа)

Добавлено 24.02.11, 08:38
неабстрактные классы порождают

либо конечное множество равное кортежу полей класса, если идентичность определяется идентичностью полей (т.е. без учета разного размещения в памяти)

либо формально бесконечное множество

Цитата korvin @ 24.02.11, 04:56

угу, http://en.wikipedia.org/wiki/Data_type

Ты привел ссылку на англ. вариант, того же источника что приводил я. В чем подвох?

Цитата korvin @ 24.02.11, 04:56

не надо, а то KILLER совсем свихнется, узнав, что "тип данных" сам может являться "данным" какого-то типа (метатипа) =)

korvin, свихнешься наверное ты, за меня не переживай, я не свихнусь, ибо это не противоречит тому чего я тут тебе рассказывал...

Цитата DesweR @ 24.02.11, 05:21

KILLER
http://newstar.rinet.ru/~goga/tapl/tapl-toc.html

По твоей ссылке, много буков, откуда начинать читать, или цитату приведи, к чему ты эту ссылку привел.

korvin, т.е. ты считаешь, что множество операций(интерфейс) не относятся к типу в программировании?

в том что есть отличия между англовикой и русской викой. Найдешь сам?

Цитата korvin @ 24.02.11, 07:58

"тип" и "тип данных" -- синонимы, не бывает просто типов, бывают типы чего-то, а "данные" -- это просто общее название этого "что-то"

Тогда, может объяснишь, почему в Гарвардской архитектуре на x86 моя

int f(int i) {
  return i - 1;
}

Попадет в кеш инструкций, а не в кеш данных?

Цитата korvin @ 24.02.11, 08:31

Так что это не тип, а просто абстрактный класс

void f(A &a)
{
    a.f();
}

Принимаем по ссылке объект, одним из типов которых является A и вызываем соответствующий метод.

Цитата D_KEY @ 24.02.11, 08:50

korvin, т.е. ты считаешь, что множество операций(интерфейс) не относятся к типу в программировании?

к типу - нет, к реализации значений типа - да.

Цитата korvin @ 24.02.11, 08:50

в том что есть отличия между англовикой и русской викой. Найдешь сам?

Формулировка отличается??? Или где отличие, м.б. я англ. вариант не так перевел ?

Англ. вариант из вики.

Цитата

In computer programming, a data type (or datatype) 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 that type; and the way the values of that type are stored.[1]

Русский вариант из вики

Цитата

Тип данных — фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям и, возможно, способ реализации хранения значений и выполнения операций. Любые данные, которыми оперируют программы, относятся к определённым типам.

Цитата korvin @ 24.02.11, 08:50

Найдешь сам?

Все читать мне лень, ибо я работаю паралельно, в этих двух циатах не вижу противоречий