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

Цитата korvin @ 25.11.11, 21:15

нет, не использовал =)

Эммм... Ну, вот в случае концептов принцип подстановки не работает

template<typename T : I>
List<T> f2(T obj1, T obj2)
{
    I i = x; //не верно, вообще, полностью
}

А в коде

List<T extends I> f2(T x, T y) {
    I i = x; // работает
}

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

Цитата D_KEY @ 25.11.11, 21:18

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

перепиши без шаблона =)

Добавлено 25.11.11, 21:29

Цитата MyNameIsIgor @ 25.11.11, 21:24

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

эм, всмысле? который код? разница между чем и чем размывается?

Цитата korvin @ 25.11.11, 21:26

эм, всмысле? который код? разница между чем и чем размывается?

Разница между не-типом (тайпклассом/концептом) и типом (интерфейсом), при том, что описано это как одна сущность.

Цитата korvin @ 25.11.11, 21:26

перепиши без шаблона =)

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

Цитата korvin @ 25.11.11, 21:26

Цитата D_KEY @ 25.11.11, 21:18

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

перепиши без шаблона =)

Зачем ?
Ты понимаешь код только на Haskell-подобном языке?
Хорошо:

concept I a where ...
 
data A = A
data B = B
 
instance I A where ...
instance I B where ...
 
f1 :: [I]
f1 = [A, B] -- работает
 
f2 :: I a => [a]
f2 = [A, B] -- не работает

Сообщение отредактировано: D_KEY - 25.11.11, 21:50

Цитата MyNameIsIgor @ 25.11.11, 21:40

Разница между не-типом (тайпклассом/концептом) и типом (интерфейсом), при том, что описано это как одна сущность.

а при чем тут тогда "интерфейсы как в Go"? их "утиность" никак не способствует размыванию разницы между интерфейсами и тайпклассами.

Цитата D_KEY @ 25.11.11, 21:42

Зачем ?

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

Сообщение отредактировано: korvin - 25.11.11, 22:03

Цитата korvin @ 25.11.11, 21:58

а при чем тут тогда "интерфейсы как в Go"? их "утиность" никак не способствует размыванию разницы между интерфейсами и тайпклассами.

Я хз как лучше пояснить мои мысли...

Цитата korvin @ 25.11.11, 21:58

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

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

Цитата D_KEY @ 25.11.11, 22:06

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

хорошее объяснение, мне нравится. ок, допустим, template у тебя просто как аналог instance в хаскелле. тогда скажи, является ли A наследником I (применительно к первому случаю)?

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

ок, допустим, template у тебя просто как аналог instance в хаскелле.

Строго говоря, таким аналогом в случае концептов является concept map или тот гипотетический неявный инстанс, который получается, когда тип и так соответствует концепту.

Цитата

тогда скажи, является ли A наследником I (применительно к первому случаю)?

Классы не наследуют от интерфейсов даже по ОО-понятиям
Если мы отделяем "интерфейсы"(концепты) от абстрактных ОО-классов, то нет, не является

Цитата D_KEY @ 25.11.11, 21:42

Хорошо:

concept I a where ...
 
data A = A
data B = B
 
instance I A where ...
instance I B where ...
 
f1 :: [I]
f1 = [A, B] -- работает
 
f2 :: I a => [a]
f2 = [A, B] -- не работает

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

Добавлено 25.11.11, 22:28

Цитата D_KEY @ 25.11.11, 22:24

Классы не наследуют от интерфейсов даже по ОО-понятиям
Если мы отделяем "интерфейсы"(концепты) от абстрактных ОО-классов, то нет, не является

не придирайся к словам, ты понял, что я про субтипирование =)

Цитата korvin @ 25.11.11, 22:27

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

Ты о чем сейчас?
И вообще, если ты о С++, ты мы уже давно вышли за рамки его возможностей

Цитата

так еще и в зависимости от типа функции один и тот же объект может выполнить разный код?

Чего? Какой один и тот же объект выполнит разный код?
И да, [A, B] в первом случае не должно работать - тут должен быть какой-то иной синтаксис

т.е. смотри:

concept C a where
    foo :: a -> Void
 
data A = A where
    foo :: A -> Void
    foo x = println "A.foo"
 
instance C A where
    foo :: A -> Void
    foo x = println "C A.foo"
 
f1 :: C -> Void
f1 x = x.foo
 
f2 :: C A -> Void
f2 x = x.foo
 
f1 A -- "A.foo"
f2 A -- "C A.foo"

?

Цитата korvin @ 25.11.11, 22:27

не придирайся к словам, ты понял, что я про субтипирование =)

Я немного не согласен с тем, чтобы смешивать абстрактные типы с типами данных. Как раз в Haskell есть типы данных(через алгебраические типы данных) и тайпклассы, которые позволяют описывать интерфейс объекта и абстрагироваться от конкретного типа(т.е. по сути являются средством описания абстрактных типов). Хотя допускаю, что я просто плохо "понял" Haskell.

это даже тайпчек не должно проходить =)

Цитата korvin @ 25.11.11, 22:36

т.е. смотри:

concept C a where
    foo :: a -> Void
 
data A = A where
    foo :: A -> Void
    foo x = println "A.foo"
 
instance C A where
    foo :: A -> Void
    foo x = println "C A.foo"
 
f1 :: C -> Void
f1 x = x.foo
 
f2 :: C A -> Void
f2 x = x.foo
 
f1 A -- "A.foo"
f2 A -- "C A.foo"

?

В обоих случаях должно быть "C A foo", т.к. ты явно указал instance C для A