Ada_Ru форум

Обсуждение языка Ада

Ada_RU

Оставить новое сообщение

Сообщения

Oleksandr Havva
Ada_RU
2002-10-07 07:35:58

hi, all !!!

народ! пора проснуться и поспорить! :)

тут кой-какие дела остались как-то в не совсем определенном

состоянии.

в общем, предлагаю _узаконить_на_будущее_

следующие идеи обзывательств:

1)

-----------------------------------------------------------------------------

V : aliased Integer;

C : constant aliased Integer;

такое называют как "aliased objects"

предлагается - "алиасные объекты"

2)

-----------------------------------------------------------------------------

type T is Y'Class

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас"

3)

-----------------------------------------------------------------------------

type T is access Y'Class

такое называют как "wide class access type"

предлагается - "тип ссылки глобального класса" и/или "глобальная ссылка"

4)

-----------------------------------------------------------------------------

type T is access constant Integer;

type T is access all Integer;

такое называют как "general access types"

предлагается - "типы общих ссылок"

--------------------------------------------------------------------------------------

шпаргалить негде, все абсолютно относится к Ada-95

Alex

Oleksandr Havva пишет:

 

hi, all !!!

 

народ! пора проснуться и поспорить! :)

 

тут кой-какие дела остались как-то в не совсем определенном

состоянии.

в общем, предлагаю _узаконить_на_будущее_

следующие идеи обзывательств:

 

1)

-----------------------------------------------------------------------------

 

V : aliased Integer;

C : constant aliased Integer;

 

такое называют как "aliased objects"

предлагается - "алиасные объекты"

Помнится было предложение назвать "адресуемые объекты".

Как-то более по русски и понятнее.

 

2..4 => идей пока нет.

 

Максим

hi,

>1)

>----------------------------------------------------------------------------- >

>V : aliased Integer;

>C : constant aliased Integer;

>

>такое называют как "aliased objects"

>предлагается - "алиасные объекты"

>

>

Помнится было предложение назвать "адресуемые объекты".

Как-то более по русски и понятнее.

у меня, вообще-то, крутится еще мысля обозвать это как "общие объекты", поскольку оно напрямую связано с "общими ссылками".

но, как всегда есть "но"...

хоть все это ("адресуемые...", "общие..") и чиста по русски,

как-то оно корявенько и по смыслу, и по звучанию,

да и не отображается интуитивно на аглицкое "aliased" :(

(последний довод, imho, самый веский)

кстати, John English, в "Ada Craft", объясняет почему такие объекты названы "aliased" следующим образом:

"Ada refers to such objects as _aliased_objects_

since any such object already has a name

by which it can be accessed;

a pointer to the object acts as an `alias' for it,

in other words another name which can be used

to access it."

может это кого-нить натолкнет на идею,

а то пока что, на мое imho, _алиасные_объекты_

получается самое удачное решение

(точнее - лучшее из худших)

>

>

2..4 => идей пока нет.

>

Максим

Alex

PS

а остальной народ где???

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

и кует металл пока никто не выдит, не отвлекаясь на мелочи? :)

такое называют как "aliased objects"

предлагается - "алиасные объекты"

 

 

"Псевдонимизируемые"

............................

шучу. ;-).

 

Я бы согласился с Максимом, что все таки по русски как то лучше звучит, и по смыслу подходит, "адресуемые".

 

 

Я бы предложил не спешить, а разбирать термин за термином,

по поводу остальных у меня идей пока нет.

народ! пора проснуться и поспорить! :)

 

Why бы и не not?

тут кой-какие дела остались как-то в не совсем определенном

состоянии.

в общем, предлагаю _узаконить_на_будущее_

следующие идеи обзывательств:

 

1)

-----------------------------------------------------------------------------

V : aliased Integer;

C : constant aliased Integer;

 

такое называют как "aliased objects"

предлагается - "алиасные объекты"

 

Я бы, вслед за предыдущими ораторами, поддержал вариант "адресуемые"

2)

-----------------------------------------------------------------------------

type T is Y'Class

 

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас"

 

Это ж не класс, а тип! "Класс" в Аде также определен как технический термин

Class. A class is a set of types that is closed under derivation, which means that if a given type is in the class, then all types derived from that type are also in the class. The set of types of a class share common properties, such as their primitive operations.

 

Я сам всегда переводил такое как "надклассовый тип".

 

 

3)

-----------------------------------------------------------------------------

type T is access Y'Class

 

такое называют как "wide class access type"

предлагается - "тип ссылки глобального класса" и/или "глобальная ссылка"

 

"Ссылка на надклассовый тип" или "надклассовая ссылка".

 

 

4)

-----------------------------------------------------------------------------

type T is access constant Integer;

type T is access all Integer;

 

такое называют как "general access types"

предлагается - "типы общих ссылок"

 

Хммммм...... Не знаю.......

 

 

--------------------------------------------------------------------------------------

 

шпаргалить негде, все абсолютно относится к Ada-95

 

Дык, оно понятно!....

Oleksandr Havva wrote:

-----------------------------------------------------------------------------

 

type T is Y'Class

 

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас"

 

В одной давнишней статье это было названо "надклассовым типом"

 

Вадим Годунко

hi,

"Sergey I. Rybin" wrote:

народ! пора проснуться и поспорить! :)

>

Why бы и не not?

>

тут кой-какие дела остались как-то в не совсем определенном

состоянии.

в общем, предлагаю _узаконить_на_будущее_

следующие идеи обзывательств:

>

1)

----------------------------------------------------------------------------- >

V : aliased Integer;

C : constant aliased Integer;

>

такое называют как "aliased objects"

предлагается - "алиасные объекты"

>

Я бы, вслед за предыдущими ораторами, поддержал вариант "адресуемые"

в принципе, у меня возражательств, на этот предмет нету.

пущай будут "адресуемые..."

imho, "алиасные..." само выживет... как жаргон,

обзывают же в курилках "настраиваемые..."/"generic..."

как "генерики...", или я ошибаюсь? :)

2)

----------------------------------------------------------------------------- >

type T is Y'Class

>

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас"

>

Это ж не класс, а тип! "Класс" в Аде также определен как технический термин >

Class. A class is a set of types that is closed under derivation, which means that if a given type is in the class, then all types derived from that type are also in the class. The set of types of a class share common properties, such as their primitive operations.

>

Я сам всегда переводил такое как "надклассовый тип".

логично!!! но я сам до такого не додумался :(

однако, странно то, что на такое название ("глобальные...")

в тексте Quick_Ada_ru никто никак не возмутился

3)

----------------------------------------------------------------------------- >

type T is access Y'Class

>

такое называют как "wide class access type"

предлагается - "тип ссылки глобального класса" и/или "глобальная ссылка"

>

"Ссылка на надклассовый тип" или "надклассовая ссылка".

тут понятно, следствие из п.2

>

4)

----------------------------------------------------------------------------- >

type T is access constant Integer;

type T is access all Integer;

>

такое называют как "general access types"

предлагается - "типы общих ссылок"

>

Хммммм...... Не знаю.......

поясню почему я так это обозвал:

во-первых, по словарю подходит (general = общий, общего характера); во-вторых, по логике: ссылочный тип, который позволяет ссылаться как на динамические объекты, так и на статические, т.е. общий

еще соображения есть?

>

--------------------------------------------------------------------------------------

>

шпаргалить негде, все абсолютно относится к Ada-95

>

Дык, оно понятно!....

Alex

hi,

Vadim Godunko wrote:

Oleksandr Havva wrote:

----------------------------------------------------------------------------- >

type T is Y'Class

>

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас" >

В одной давнишней статье это было названо "надклассовым типом"

>

Вадим Годунко

а давнишнюю статью "в студию" можно?

Alex

imho, "алиасные..." само выживет... как жаргон,

обзывают же в курилках "настраиваемые..."/"generic..."

как "генерики...", или я ошибаюсь? :)

 

Где та курилка, где такое обсуждают? :(( :)

Hi !

 

Am Donnerstag, 7. November 2002 08:35 schrieb Oleksandr Havva:

1)

--------------------------------------------------------------------------- >--

V : aliased Integer;

C : constant aliased Integer;

 

такое называют как "aliased objects"

предлагается - "алиасные объекты"

 

У меня тут на языке вертится "синоним", "синонимный"

К сожалению толковый (в обоих смыслах :) словаря

по русскому языку в наличии отсутствует, поэтому

точную трактовку вышеозначенного слова дать не

могу ;-)

 

 

2)

--------------------------------------------------------------------------- >--

type T is Y'Class

 

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас"

 

Собственно (если мне не изменяет память) это имеет прямое отношение к полиморфизму. Может будем рассматривать в этом контексте вместо того, что бы переводить влоб ?

 

3)

--------------------------------------------------------------------------- >--

type T is access Y'Class

 

такое называют как "wide class access type"

предлагается - "тип ссылки глобального класса" и/или "глобальная ссылка"

 

IMHO ни что иное как указатель совместимый по типу с 2) :-) Над формулировкой надо поломать голову (чью бы только ?... ;-)

4)

--------------------------------------------------------------------------- >--

type T is access constant Integer;

type T is access all Integer;

 

такое называют как "general access types"

предлагается - "типы общих ссылок"

 

указатель ? :)

 

P.S: Plz ногами не бить, обстоятельства вынуждают мучится с Java/C/C++ :-(

Ilja

Hello!

 

On Thu, 7 Nov 2002, Sergey I. Rybin wrote:

 

в общем, предлагаю _узаконить_на_будущее_

следующие идеи обзывательств:

 

1)

-----------------------------------------------------------------------------

V : aliased Integer;

C : constant aliased Integer;

 

такое называют как "aliased objects"

предлагается - "алиасные объекты"

 

Я бы, вслед за предыдущими ораторами, поддержал вариант "адресуемые"

 

Русифицированная калька : "объект с псевдонимом".

 

 

2)

-----------------------------------------------------------------------------

type T is Y'Class

 

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас"

 

Это ж не класс, а тип! "Класс" в Аде также определен как технический термин

Class. A class is a set of types that is closed under derivation, which means that if a given type is in the class, then all types derived from that type are also in the class. The set of types of a class share common properties, such as their primitive operations.

 

Я сам всегда переводил такое как "надклассовый тип".

 

Очень качественно.

 

 

Sincerely yours Cyril Sazonov

hi,

"Sergey I. Rybin" wrote:

imho, "алиасные..." само выживет... как жаргон,

обзывают же в курилках "настраиваемые..."/"generic..."

как "генерики...", или я ошибаюсь? :)

>

Где та курилка, где такое обсуждают? :(( :)

э-э-э... наверное там, где Бериев-200 лепят :)

...или уже не лепят? :(

Alex

Oleksandr Havva пишет:

 

hi,

Vadim Godunko wrote:

 

Oleksandr Havva wrote:

-----------------------------------------------------------------------------

 

type T is Y'Class

 

такое называют как "wide class type"

предлагается - "тип глобального класса" и/или "глобальный клас"

 

В одной давнишней статье это было названо "надклассовым типом"

Вадим Годунко

а давнишнюю статью "в студию" можно?

 

Alex

 

1) Надклассовый, кажется, то что надо!

2) Я бы тоже почитал эту статью...

3) Кстати, нашел в интернете ту статью, что на Ada_Ru_Comunity_Cdrom. Очень неплоха.

"Новые концепции и возможности языка Ада95" Кирилла и Олега Перминовых

http://www.osp.ru/os/1997/03/52.htm

 

Там авторы величают T'Class классом. ;-)

 

max

hi,

Maxim Reznik wrote:

Oleksandr Havva пишет:

>

>hi,

>Vadim Godunko wrote:

>

>Oleksandr Havva wrote:

>

>

>----------------------------------------------------------------------------- >

>type T is Y'Class

>

>такое называют как "wide class type"

>предлагается - "тип глобального класса" и/или "глобальный клас" >

>

>

>В одной давнишней статье это было названо "надклассовым типом"

>Вадим Годунко

>

>

>а давнишнюю статью "в студию" можно?

>

>Alex

>

1) Надклассовый, кажется, то что надо!

2) Я бы тоже почитал эту статью...

3) Кстати, нашел в интернете ту статью, что на Ada_Ru_Comunity_Cdrom. Очень неплоха.

"Новые концепции и возможности языка Ада95" Кирилла и Олега Перминовых http://www.osp.ru/os/1997/03/52.htm

>

Там авторы величают T'Class классом. ;-)

>

max

ща почитаем :)

сапасибочки

кстати, еще один вопросец:

во всех документациях на паскали/си, что мне попадались,

потоки и ввод/вывод на потоках называют полиморфным,

а вот в описаниях адских потоков, их называют

гетерогенными.

а пАчему???

судя по организации работы "внутренней химии"

этого хозяйства оно везде одно и то же.

непонятки однако :(

Alex

Oleksandr Havva wrote:

кстати, еще один вопросец:

во всех документациях на паскали/си, что мне попадались,

потоки и ввод/вывод на потоках называют полиморфным,

а вот в описаниях адских потоков, их называют

гетерогенными.

 

а пАчему???

 

судя по организации работы "внутренней химии"

этого хозяйства оно везде одно и то же.

непонятки однако :(

 

 

Alex

 

 

Ada95 обуждает понятия гетерогенных и гомогенных потоков. В разряд гомогенных (состоящих из значений одного типа) попали Sequential_IO и Direct_IO. А то, что осталось обозвали потоками (Streams) и, естествено, это нечто гетерогенное, т.е. Вы можете поместить в него значения любого типа. Вот и вся логика, как я это понимаю.

 

Вадим

hi,

Vadim Godunko wrote:

Oleksandr Havva wrote:

кстати, еще один вопросец:

во всех документациях на паскали/си, что мне попадались,

потоки и ввод/вывод на потоках называют полиморфным,

а вот в описаниях адских потоков, их называют

гетерогенными.

>

а пАчему???

>

судя по организации работы "внутренней химии"

этого хозяйства оно везде одно и то же.

непонятки однако :(

>

>

Alex

>

>

Ada95 обуждает понятия гетерогенных и гомогенных потоков. В разряд гомогенных (состоящих из значений одного типа) попали Sequential_IO и Direct_IO. А то, что осталось обозвали потоками (Streams) и, естествено, это нечто гетерогенное, т.е. Вы можете поместить в него значения любого типа. Вот и вся логика, как я это понимаю.

>

Вадим

дык эт все понятно :)

вопрос в том, почему в аде потоки называют _гетерогенными_,

а в других языках (си/паскаль) _полиморфными_,

т.е. в чем разница между _гетерогенный_ и _полиморфный_???

ведь логика реализации этого добра, практически, одинакова

Alex

вопрос в том, почему в аде потоки называют _гетерогенными_,

а в других языках (си/паскаль) _полиморфными_,

т.е. в чем разница между _гетерогенный_ и _полиморфный_???

 

ведь логика реализации этого добра, практически, одинакова

 

Я слишко давно забросил и паскаль и си, чтобы знать, что они там и как обзывают. Посему все остальное по большому счету только трёп.

 

Как устроен поток? Это просто бесконечная последовательность неких "примитивных элементов", скажем, байтов. На следующем абстрактном уровне определяются некоторые методы для ввода/вывода базовых типов (каждый из которых занимает несколько байт в потоке). Пользователь может доопределить подобные методы для своих типов. Это общая канва, со своими ругательствами в каждом конкретном случае (C/Pascal/Ada).

 

Что такое полиморфизм? Попросту возможность вызова во время исполнения метода конкретного объекта. Как это связано с потоками? Правильно, никак.

 

Однако в TurboVision можно было сохранить в поток все окна и восстановить их из потока. Делалось это весьма хитрым способом регистрации методов чтения/записи для каждого класса. При записи реализация потока загоняла в него имя класса а уже потом вызывала метод записи. При чтении - наоборот, читалось имя класса и по таблице вызывался метод чтения. Это уже ближе к полиморфизму. Это было в Borland Pascal и Borland C++.

 

Если расматривать в этом свете спецификацию потоков в Аде, то получается следующее:

1) Ada.Streams определяет абстрактный гетерогенный поток, для типов определяются атрибуты Read, Write, Input, Output. Хотя Read/Write и Input/Output имеют несколько различный смысл, по сути это просто методы чтения/записи.

2) Но назло всем Ада определяет еще и атрибуты 'Class'Read, 'Class'Write, 'Class'Input и 'Class'Output. И если программа явно использует только их - получили идеальный полиморфный поток. (Здесь надо похвалить того, кто это придумал: никакой головной боли с регистрацией, все делает комилятор и RTL).

3) Гипотеза: поскольку за "чистую полиморфность" отвечает программист, то Ada назвала потоки по честному: гетерогенные. Остальные языки не столь придирчивы к используемой терминологии, а "полиморфный" звучит загадочно и перспективно.

 

Как такая гипотеза?

 

Вадим

hi,

Vadim Godunko wrote:

вопрос в том, почему в аде потоки называют _гетерогенными_,

а в других языках (си/паскаль) _полиморфными_,

т.е. в чем разница между _гетерогенный_ и _полиморфный_???

>

ведь логика реализации этого добра, практически, одинакова

>

Я слишко давно забросил и паскаль и си, чтобы знать, что они там и как обзывают. Посему все остальное по большому счету только трёп.

>

Как устроен поток? Это просто бесконечная последовательность неких "примитивных элементов", скажем, байтов. На следующем абстрактном уровне определяются некоторые методы для ввода/вывода базовых типов (каждый из которых занимает несколько байт в потоке). Пользователь может

доопределить подобные методы для своих типов. Это общая канва, со своими ругательствами в каждом конкретном случае (C/Pascal/Ada).

>

Что такое полиморфизм? Попросту возможность вызова во время исполнения метода конкретного объекта. Как это связано с потоками? Правильно, никак. >

Однако в TurboVision можно было сохранить в поток все окна и

восстановить их из потока. Делалось это весьма хитрым способом

регистрации методов чтения/записи для каждого класса. При записи реализация потока загоняла в него имя класса а уже потом вызывала метод записи. При чтении - наоборот, читалось имя класса и по таблице вызывался метод чтения. Это уже ближе к полиморфизму. Это было в Borland Pascal и Borland C++.

>

Если расматривать в этом свете спецификацию потоков в Аде, то получается следующее:

1) Ada.Streams определяет абстрактный гетерогенный поток, для типов определяются атрибуты Read, Write, Input, Output. Хотя Read/Write и Input/Output имеют несколько различный смысл, по сути это просто методы чтения/записи.

2) Но назло всем Ада определяет еще и атрибуты 'Class'Read,

'Class'Write, 'Class'Input и 'Class'Output. И если программа явно использует только их - получили идеальный полиморфный поток. (Здесь надо похвалить того, кто это придумал: никакой головной боли с регистрацией, все делает комилятор и RTL).

3) Гипотеза: поскольку за "чистую полиморфность" отвечает программист, то Ada назвала потоки по честному: гетерогенные. Остальные языки не столь придирчивы к используемой терминологии, а "полиморфный" звучит загадочно и перспективно.

>

Как такая гипотеза?

>

Вадим

э-э-э....

это не гипотеза, а объяснение реализации механизма потоков

на примере TV и Ады

оценка ОТЛИЧНО!!! :)

Вадим, я ведь вопрос не о сравнении реализаций концепции потоков в C/Паскале/Аде задавал...

впрочем, я тут час по тырнету поползал,

на тему бестолковых словарей...

ПОЛИМОРФНЫЙ - не нашел :(

но насколько я понимаю, это означает нечто одно,

но обладающее множеством форм

ГЕТЕРОГЕННЫЙ - повезло, нашел :)

состоящий из различных по составу, свойствам,

происхождению частей (противоп.: гомогенный).

из чего следует, что потоки, таки не полиморфные,

а гетерогенные, ибо гетерогенный, в данном контексте, -

корректнее (кстати, для всех языков)

Alex

PS

мужики я тут долго думал на тему засады с "aliased objects"

в обчем, "родил" два варианта определения:

1) статический объект на который допускается ссылаться

объектам ссылочного типа называется _?_?_?_?_?_

2) статический объект который может иметь

(или у которого могут быть) псевдонимы ссылочного типа

называется _?_?_?_?_?_

imho, "адресуемый" в обоих случаях - мимо кассы :(

для второго варианта, по смыслу, подходит то, что

Кирилл предложил - "объекты с псевдонимами"

но оно... тоже как-то не супер :(

есть идеи???

псевдонимный, указываемый, ссылаемый - бррр :(

Oleksandr Havva wrote:

ПОЛИМОРФНЫЙ - не нашел :(

но насколько я понимаю, это означает нечто одно,

но обладающее множеством форм

 

ГЕТЕРОГЕННЫЙ - повезло, нашел :)

состоящий из различных по составу, свойствам,

происхождению частей (противоп.: гомогенный).

 

из чего следует, что потоки, таки не полиморфные,

а гетерогенные, ибо гетерогенный, в данном контексте, -

корректнее (кстати, для всех языков)

 

Да я это и хотел показать на примере. Но гетерогенный не солидно, а вот ПОЛИМОРФНЫЙ...

 

мужики я тут долго думал на тему засады с "aliased objects"

 

в обчем, "родил" два варианта определения:

 

1) статический объект на который допускается ссылаться

объектам ссылочного типа называется _?_?_?_?_?_

 

2) статический объект который может иметь

(или у которого могут быть) псевдонимы ссылочного типа

называется _?_?_?_?_?_

 

imho, "адресуемый" в обоих случаях - мимо кассы :(

для второго варианта, по смыслу, подходит то, что

Кирилл предложил - "объекты с псевдонимами"

но оно... тоже как-то не супер :(

 

 

Я проголосую за "доступный по ссылке".

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

 

Вадим.

hi,

Vadim Godunko wrote:

Да я это и хотел показать на примере. Но гетерогенный не солидно, а вот ПОЛИМОРФНЫЙ...

ага... гугля на запрос "полиморфный" только и отсылает... к вирусам :)

мужики я тут долго думал на тему засады с "aliased objects"

>

в обчем, "родил" два варианта определения:

>

1) статический объект на который допускается ссылаться

объектам ссылочного типа называется _?_?_?_?_?_

>

2) статический объект который может иметь

(или у которого могут быть) псевдонимы ссылочного типа

называется _?_?_?_?_?_

>

imho, "адресуемый" в обоих случаях - мимо кассы :(

для второго варианта, по смыслу, подходит то, что

Кирилл предложил - "объекты с псевдонимами"

но оно... тоже как-то не супер :(

>

>

Я проголосую за "доступный по ссылке".

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

по голове??? 8-( )

...это не наш метод

>

>

Вадим.

Alex

hi,

мужики я тут долго думал на тему засады с "aliased objects"

>

в обчем, "родил" два варианта определения:

>

1) статический объект на который допускается ссылаться

объектам ссылочного типа называется _?_?_?_?_?_

>

2) статический объект который может иметь

(или у которого могут быть) псевдонимы ссылочного типа

называется _?_?_?_?_?_

>

imho, "адресуемый" в обоих случаях - мимо кассы :(

для второго варианта, по смыслу, подходит то, что

Кирилл предложил - "объекты с псевдонимами"

но оно... тоже как-то не супер :(

МЫСЛЯ !!!

а ежели обозвать енто дело на русском как:

"объекты с косвенным доступом"

слегка длинновато... эт - да, но по смыслу - самое оно,

да и с RM95 - никаким боком кусаться не будет:

Annex N Glossary (informative)

. . .

3._Aliased_.

An aliased view of an object is one that can be designated

by an access value. Objects allocated by allocators are aliased. Objects can also be explicitly declared as aliased

with the reserved word aliased.

The Access attribute can be used to create an access value

designating an aliased object.

. . .

Alex

Новое сообщение:
Страницы: 1 2

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти