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

korvin, это пример чего-то другого.

Цитата D_KEY @ 21.12.11, 07:03

Ты уже объяснил мне разницу с тайпклассами?

а ты не видишь, что нет? =) впрочем, я посмотрел трейты в Racket, там они несколько отличаются от того, что ты мне показал на C++. а так же от тайпклассов.

Цитата korvin @ 21.12.11, 07:22

Цитата D_KEY @ 21.12.11, 07:03

Ты уже объяснил мне разницу с тайпклассами?

а ты не видишь, что нет? =) впрочем, я посмотрел трейты в Racket, там они несколько отличаются от того, что ты мне показал на C++. а так же от тайпклассов.

С++ отличается как всегда своей терминологией(правда я подозреваю, что данный прием в С++ появился раньше остальных trait'ов). И заметь, в С++ это не языковое средство, а идиома.

Цитата D_KEY @ 21.12.11, 07:21

korvin, это пример чего-то другого.

это пример того, что ты мне показывал на С++:

Цитата

struct MyPoint
{
    int x;
    int y;
    Color color;
};
 
template<>
struct PointTraits<MyPoint>
{
    static int getX(const MyPoint &p)
    {
        return p.x;
    }
 
    static int getY(const MyPoint &p)
    {
        return p.y;
    }
};
 
template<>
struct ColoredTraits<MyPoint>
{
    static Color getColor(const MyPoint &p)
    {
        return p.color;
    }
};

...

template<typename T>
int f(const T &point)
{
    return PointTraits<T>::getX(point);
}

Добавлено 21.12.11, 07:27

Цитата D_KEY @ 21.12.11, 07:24

С++ отличается как всегда своей терминологией(правда я подозреваю, что данный прием в С++ появился раньше остальных trait'ов). И заметь, в С++ это не языковое средство, а идиома.

в Racket это тоже идиома, но ее можно завернуть (и завернули) в макрос и удобно использовать без кучи синтаксического мусора =)

Вот есть я - обычный тёмный человек, мало что понимающий в программировании и разработки ПО. Вот кто-нибудь, объясните мне: вот эта штука с сильной связью наследованием в языке с одиночным наследованием и переносом всего в run-time и в самом деле является аналогом того, что в C++ называется traits?

Цитата MyNameIsIgor @ 21.12.11, 07:28

Вот есть я - обычный тёмный человек, мало что понимающий в программировании и разработки ПО. Вот кто-нибудь, объясните мне: вот эта штука с сильной связью наследованием в языке с одиночным наследованием и переносом всего в run-time и в самом деле является аналогом того, что в C++ называется traits?

где ты увидел рантайм? напомню, что перегрузка функций разруливается во время компиляции. впрочем это не имеет значения.
не знаю как в Scala, но в Racket (и видимо много где еще) трейты -- это примеси, которые могут содержать методы.

собственно термин видимо пошел из языка Self, поэтому не думаю, что то, "что в С++ называется traits", где-то используется (если оно отличается от Self'ийских трейтов)

Цитата korvin @ 21.12.11, 07:38

где ты увидел рантайм? напомню, что перегрузка функций разруливается во время компиляции.

Ах, да, обознался. Просто я не подумал, что кто-то будет извращаться наследованием, чтобы получить перегруженные методы - ну, программирование не мой конёк.

Цитата korvin @ 21.12.11, 07:38

собственно термин видимо пошел из языка Self, поэтому не думаю, что то, "что в С++ называется traits", где-то используется (если оно отличается от Self'ийских трейтов)

Можно выразить всем (кроме D) соболезнование... Хотя, наверняка я опять чота нипанимайу...

Сообщение отредактировано: MyNameIsIgor - 21.12.11, 07:45

Цитата korvin @ 21.12.11, 07:25

Цитата D_KEY @ 21.12.11, 07:21

korvin, это пример чего-то другого.

это пример того, что ты мне показывал на С++

А т.к. на С++ тебе показали аналог того, что ты показал на Haskell с тайпклассами, то можно сделать вывод, что этот пример на ява является примером тайпклассов?

Цитата

в Racket это тоже идиома, но ее можно завернуть (и завернули) в макрос и удобно использовать без кучи синтаксического мусора =)

Хм. А где в примере на С++ синтаксический мусор?

Цитата MyNameIsIgor @ 21.12.11, 07:44

Ах, да, обознался. Просто я не подумал, что кто-то будет извращаться наследованием, чтобы получить перегруженные методы - ну, программирование не мой конёк.

в чем извращение-то? нормальный способ расширения функциональности, хочешь, используешь функции из Bar, хочешь -- из Buz. а как бы ты сделал, если бы тебе Bar.exec(Foo) нужно было бы переопределить?

Цитата korvin @ 21.12.11, 07:38

собственно термин видимо пошел из языка Self, поэтому не думаю, что то, "что в С++ называется traits", где-то используется (если оно отличается от Self'ийских трейтов)

То, что используется в С++, называется Traits class и не имеет отношения к ООП(в отличие от trait'ов). Это прием обобщенного программирования. Во многих других языках не используется в виду слабых возможностях по поддержке этого самого обобщенного программирования. В D используется же.

Сообщение отредактировано: D_KEY - 21.12.11, 08:00

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

а как бы ты сделал, если бы тебе Bar.exec(Foo) нужно было бы переопределить?

Я снова нипанимайу Как мы плавно перешли от перегрузки к переопределению?
И да, мне не надо ни то, ни другое. Я думал увидеть на джаве плюсовые traits'ы, потому как мои знания не позволяют мне это сделать...

Цитата D_KEY @ 21.12.11, 07:54

А т.к. на С++ тебе показали аналог того, что ты показал на Haskell с тайпклассами, то можно сделать вывод, что этот пример на ява является примером тайпклассов?

нет, нельзя, этот пример повторяет функциональность твоего примера на C++, но не обладает некоторыми свойствами тайпклассов и шаблонов

Цитата D_KEY @ 21.12.11, 07:54

Хм. А где в примере на С++ синтаксический мусор?

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

Добавлено 21.12.11, 08:10

Цитата MyNameIsIgor @ 21.12.11, 08:02

Я снова нипанимайу Как мы плавно перешли от перегрузки к переопределению?
И да, мне не надо ни то, ни другое. Я думал увидеть на джаве плюсовые traits'ы, потому как мои знания не позволяют мне это сделать...

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

Цитата korvin @ 21.12.11, 08:06

Цитата D_KEY @ 21.12.11, 07:54

А т.к. на С++ тебе показали аналог того, что ты показал на Haskell с тайпклассами, то можно сделать вывод, что этот пример на ява является примером тайпклассов?

нет, нельзя, этот пример повторяет функциональность твоего примера на C++, но не обладает некоторыми свойствами тайпклассов и шаблонов

Это не мой пример, а твой пример на тайпклассы. Мой код на С++ полностью повторяет функциональность твоего на Haskell, твой на Яве полностью повторяет мой на С++, следовательно, твой на Яве полностью повторяет функциональность твоего же примера на Haskell. Или тут какая-то своя логика должна быть задействована ?

Цитата D_KEY @ 21.12.11, 07:59

То, что используется в С++, называется Traits class и не имеет отношения к ООП(в отличие от trait'ов). Это прием обобщенного программирования. Во многих других языках не используется в виду слабых возможностях по поддержке этого самого обобщенного программирования. В D используется же.

уу... и только-то. но я бы сказал "в других языках не используется в виду отсутсвия необходимости" =)

Цитата korvin @ 21.12.11, 08:06

ну так и трейтов там нет, просто перегрузка функций, да шаблоны

Там показан прием на использования классов-характеристик, который в С++ иногда сокращенно называют просто traits, а не traits class. С чего ты решил приплести сюда ОО-trait'ы мне не понятно.