Re: Unintrusive Retroactive Polymorphism
От: FR  
Дата: 05.12.07 08:40
Оценка:
Здравствуйте, c-smile, Вы писали:

CS>Наткнулся вот на Heron Programming Language


Есть вопрос ты за ним следишь?
Интересный язык, но мне показалось, или так и есть, что он скорее мертв чем жив?
Re[2]: Unintrusive Retroactive Polymorphism
От: palm mute  
Дата: 05.12.07 09:13
Оценка: 18 (2)
Здравствуйте, FR, Вы писали:

CS>>Наткнулся вот на Heron Programming Language

FR>Есть вопрос ты за ним следишь?
FR>Интересный язык, но мне показалось, или так и есть, что он скорее мертв чем жив?

Скорее мертв. Автор Heron сейчас активно занимается Форто-подобным языком с выводом типов.
Вот последняя запись о Heron в блоге автора, в которой сообщается, что он планирует позиционировать Heron как инструмент для кодогенерации.
Re[3]: Unintrusive Retroactive Polymorphism
От: FR  
Дата: 05.12.07 09:28
Оценка:
Здравствуйте, palm mute, Вы писали:

PM>Скорее мертв. Автор Heron сейчас активно занимается Форто-подобным языком с выводом типов.


Это как же нужно укурится чтобы создать гибрид ML и Forth?
Спасибо очень интересно на этот кошмар посмотреть
Re[2]: Unintrusive Retroactive Polymorphism
От: minorlogic Украина  
Дата: 06.12.07 07:39
Оценка:
Видимо разница в ЯВНОМ выделении интрефейса , чего в шаблонах нет.
... << RSDN@Home 1.1.4 stable SR1 rev. 568>>
Ищу работу, 3D, SLAM, computer graphics/vision.
Re[3]: Unintrusive Retroactive Polymorphism
От: minorlogic Украина  
Дата: 06.12.07 07:43
Оценка:
Вот о таком полиморфизме я мечтаю для С++. Но только чтобы статический и динамический полиморфизм использовали один и тот же синтаксис( по крайней мере где возможно). А уж компилятор сам будет разбираться где он знает тип на этапеи компиляции а где необходим косвенный вызов.
... << RSDN@Home 1.1.4 stable SR1 rev. 568>>
Ищу работу, 3D, SLAM, computer graphics/vision.
Re[3]: Unintrusive Retroactive Polymorphism
От: Константин Б. Россия  
Дата: 06.12.07 16:22
Оценка:
Здравствуйте, minorlogic, Вы писали:

M>Видимо разница в ЯВНОМ выделении интрефейса , чего в шаблонах нет.


Эх... Подождал бы с месяц и было бы ровно три года =)
... << RSDN@Home 1.2.0 alpha rev. 784>>
Re[4]: Unintrusive Retroactive Polymorphism
От: vdimas Россия  
Дата: 10.12.07 09:54
Оценка:
Здравствуйте, AndrewVK, Вы писали:

AVK>Ну а когда на этапе приведения при работе JIT заранее о результате неизвестно, там будет единственное обращение к interface map по константному смещению (любой интерфейс в imap всех классов всегда расположен по одному и тому же смещению).


А что происходит, когда кол-во интерфейсов в загруженных типах идёт на десятки тысяч?


CS>>это фактически образование (compile time) таблицы method references — (this,funcptr)

CS>>Соответсвенно вызов такого "виртуального" метода — это вызов обычной невиртуальной функции.

AVK>Т.е. в случае полиморфного кода это не работает? Тогда полезность этой фичи вобще непонятна.


Наверно, в случае полиморфного метода будет сгенерирован косвенный вызов?
... << RSDN@Home 1.2.0 alpha rev. 786>>
Re[5]: Unintrusive Retroactive Polymorphism
От: AndrewVK Россия http://blogs.rsdn.org/avk
Дата: 10.12.07 10:20
Оценка:
Здравствуйте, vdimas, Вы писали:

V>А что происходит, когда кол-во интерфейсов в загруженных типах идёт на десятки тысяч?


Ничего страшного.

AVK>>Т.е. в случае полиморфного кода это не работает? Тогда полезность этой фичи вобще непонятна.


V>Наверно, в случае полиморфного метода будет сгенерирован косвенный вызов?


Вопрос не ко мне.
... << RSDN@Home 1.2.0 alpha rev. 725>>
AVK Blog
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.