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

Цитата korvin @ 21.12.11, 13:17

Go

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

Цитата

CL:

(defmethod property ((i integer))
  (case i
    (0 "zero")
    ...
    (else "very big number")))

в Ruby и Kotlin тоже можно, в Objective-C вроде можно через протоколы

Это уже добавление методов.

Ты точно статью читал ?
Перепиши примеры оттуда.

Добавлено 21.12.11, 13:26

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

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

Да, а вместо виртуальных функций можно добавлять в объект указатель на таблицу с указателями на функции. Очень удобно

в объект-то зачем? если мы говорим о статически-типизированных языках, то эту таблицу можно добавить в тип.

в динамически типизированных да, необходимо в объекте иметь метку типа, ну так она в любом случае там есть, в чем проблема? дополнительную информацию при этом можно хранить где угодно

Ты совсем не следишь за нитью разговора?
Использовать все это вручную гораздо геморойнее, чем использовать готовые средства, предоставляемые языком/пакетом макросов.

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

Макросы нужны для другого

так справляются или нет?

Добавлено 21.12.11, 13:28

Цитата D_KEY @ 21.12.11, 13:20

Цитата korvin @ 21.12.11, 13:17

Haskell:

Ты фактически показал тоже самое, что и делают traits class

а где у меня там

Цитата

использование различной информации о "типах"

?

Цитата korvin @ 21.12.11, 13:28

так справляются или нет?

Создатели Nemerle посчитали, что нет. Разработчики Scala, желающие добавить макросы, так же считают, что они ортогональны обобщениям.

Цитата korvin @ 21.12.11, 13:28

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

Макросы нужны для другого

так справляются или нет?

Хуже.

Цитата

Цитата D_KEY @ 21.12.11, 13:20

Цитата korvin @ 21.12.11, 13:17

Haskell:

Ты фактически показал тоже самое, что и делают traits class

а где у меня там

Цитата

использование различной информации о "типах"

?

Вот тут

instance Property Int where
    ...

Ты задаешь информацию о том, как Int предоставляет то, что обещает Property.

Цитата D_KEY @ 21.12.11, 13:23

Ты совсем не следишь за нитью разговора?
Использовать все это вручную гораздо геморойнее, чем использовать готовые средства, предоставляемые языком/пакетом макросов.

ты точно ничего не упустил из того, что я написал? про то, как в Racket сделали трейты (другие, ООПшные) вручную и обернув это в один простой макрос предоставили простую и удобную абстракцию

Добавлено 21.12.11, 13:35

Цитата D_KEY @ 21.12.11, 13:31

Хуже.

в чем хужесть?

Цитата D_KEY @ 21.12.11, 13:31

Вот тут

instance Property Int where
    ...

Ты задаешь информацию о том, как Int предоставляет то, что обещает Property.

оу, ну ок. никогда не воспринимал перегрузку как "работу с типами"

Цитата korvin @ 21.12.11, 13:32

Цитата D_KEY @ 21.12.11, 13:23

Ты совсем не следишь за нитью разговора?
Использовать все это вручную гораздо геморойнее, чем использовать готовые средства, предоставляемые языком/пакетом макросов.

ты точно ничего не упустил из того, что я написал? про то, как в Racket сделали трейты (другие, ООПшные) вручную и обернув это в один простой макрос предоставили простую и удобную абстракцию

И причем тут это?

Цитата

Цитата D_KEY @ 21.12.11, 13:31

Хуже.

в чем хужесть?

А ты покажи обобщенный код с парой специализаций для конкретных типов на макросах. И мы сравним.

Цитата

Цитата D_KEY @ 21.12.11, 13:31

Вот тут

instance Property Int where
    ...

Ты задаешь информацию о том, как Int предоставляет то, что обещает Property.

оу, ну ок. никогда не воспринимал перегрузку как "работу с типами"

А где ты видишь перегрузку?

Цитата D_KEY @ 21.12.11, 13:23

Ты точно статью читал ?
Перепиши примеры оттуда.

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

Цитата korvin @ 21.12.11, 13:43

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

Интересно, почему полностью аналогичные(в данном случае) type class'ы не вызывают у тебя такой реакции ?

Цитата

я не очень-то понял, что именно он там пытается сделать (я не в смысле "как" -- самих трейтов, это видно, а всмысле "что"), ну да ладно. на каком языке хочешь?

Можешь продолжить на Java, раз уже приводил примеры на нем. Да и понятны они будут всем присутствующим.
На Haskell тоже можешь

Цитата D_KEY @ 21.12.11, 13:38

И причем тут это?

при том, что макросы избавляют от ручной работы.

Цитата D_KEY @ 21.12.11, 13:38

А где ты видишь перегрузку?

прям здесь и вижу. а что это по-твоему? это и есть перегрузка -- вид специального полиморфизма

Цитата korvin @ 21.12.11, 13:17

при чем тут наследование? в нормальных языках методы отделены от типа и/или их свободно можно добавлять когда нужно

Ну я ж явно написал

Цитата Qraizer @ 21.12.11, 12:30

Несложно добавить свойства к своему классу каким-нибудь наследованием...

Ну, могу перефразировать

Цитата Qraizer @ 21.12.11, 12:30

Несложно добавить свойства к своему классу, например, наследованием

Добавлено 21.12.11, 13:49
Вообще, главное было мною сказано в конце:

Цитата Qraizer @ 21.12.11, 12:30

свойства - это политика поведения, и она просто должна быть отделена от сушности, чьи свойства она описывает.

Цитата korvin @ 21.12.11, 13:47

Цитата D_KEY @ 21.12.11, 13:38

И причем тут это?

при том, что макросы избавляют от ручной работы.

Капитанствуешь?

Цитата

прям здесь и вижу. а что это по-твоему? это и есть перегрузка -- вид специального полиморфизма

Я вижу "реализацию"/"специализацию". Ибо перегрузка подразумевает наличие что-то, что мы перегружаем. А там только интерфейс. Как-то так.

Цитата D_KEY @ 21.12.11, 13:52

Я вижу "реализацию"/"специализацию". Ибо перегрузка подразумевает наличие что-то, что мы перегружаем. А там только интерфейс. Как-то так.

https://scs.senecac.on.ca/~btp200/pages/content/adhoc.html#his

Цитата

Overloading is a syntactic abbreviation that associates one function name with a variety of function definitions. The same name can accepts a variety of unrelated sets of types as its arguments. No common ground has to exist amongst the definitions. Uniformity is a coincidence rather than a rule. The definitions contain distinct and possibly totally unrelated logic. Each definition works only on its set of types. The number of sets is limited by the number of definitions that we provide.

overloading is not (only) overriding

Сообщение отредактировано: korvin - 21.12.11, 14:40

Цитата korvin @ 21.12.11, 14:37

Цитата D_KEY @ 21.12.11, 13:52

Я вижу "реализацию"/"специализацию". Ибо перегрузка подразумевает наличие что-то, что мы перегружаем. А там только интерфейс. Как-то так.

https://scs.senecac.on.ca/~btp200/pages/content/adhoc.html#his

Цитата

Overloading is a syntactic abbreviation that associates one function name with a variety of function definitions. The same name can accepts a variety of unrelated sets of types as its arguments. No common ground has to exist amongst the definitions. Uniformity is a coincidence rather than a rule. The definitions contain distinct and possibly totally unrelated logic. Each definition works only on its set of types. The number of sets is limited by the number of definitions that we provide.

overloading is not (only) overriding

Ну так где ты в своем коде увидел:

Цитата

Overloading is a syntactic abbreviation that associates one function name with a variety of function definitions. The same name can accepts a variety of unrelated sets of types as its arguments.

Цитата D_KEY @ 21.12.11, 14:53

Ну так где ты в своем коде увидел:

Цитата

Overloading is a syntactic abbreviation that associates one function name with a variety of function definitions. The same name can accepts a variety of unrelated sets of types as its arguments.

class Property a wnere
    property :: a -> String

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

Цитата korvin @ 21.12.11, 15:33

class Property a wnere
    property :: a -> String

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

Нет, ты всего-лишь описал некий контракт
А специализация(инстанс) позволяет указать реализацию этого самого контракта.
В случае traits class мы имеем контракт не самого типа, а некоторый дополнительный контракт для него(типа)