trait + impl vs class , навеяно Rust'ом

А если я сгенерирую списки с рандомной длиной? Как компилятор это вообще сможет проверить?

Цитата OpenGL @ 09.07.15, 11:10

А если я сгенерирую списки с рандомной длиной? Как компилятор это вообще сможет проверить?

Попробуй еще тут посмотреть

Цитата D_KEY @ 03.07.15, 09:47

у нас в холиварах
...
ЖЖ

В ЖЖ есть код на C#.

А, ну вот цитату нашёл.

Цитата

В данном случае - совпадение длин двух массивов. Чтобы программа, допускающая, что массивы могут оказаться разной длины, не скомпилировалась. Я показал, как это делается, а мой оппонент www_linux_org_ru показал строчку, нарушающую этот инвариант, и убедился, что она не компилируется.

Т.е. в моём примере выше может быть так, что массивы будут разной длины - ошибка компиляции. Интересно.

Цитата OpenGL @ 09.07.15, 11:10

А если я сгенерирую списки с рандомной длиной? Как компилятор это вообще сможет проверить?

Он проверяет корректность с точки зрения типизации и параметрического полиморфизма. А сами типы составлены так, что если ты попытаешься сформировать списки разной длины, то компилятор тебе об этом скажет. На C++/D/Rust(хотя вот в Rust могли бы решить иначе) это приводит к бесконечному инстанцированию(что решается стиранием типа вручную, которое же приводит к тому, что задача решена не полноценно и проверки легко обходятся в коде без каких-либо хаков).

Добавлено 09.07.15, 11:15

Цитата OpenGL @ 09.07.15, 11:12

Т.е. в моём примере выше может быть так, что массивы будут разной длины - ошибка компиляции. Интересно.

Но это требует определенных ограничений при формировании списка. Если просто так независимо сгенерировать два рэндомных списка, то, естественно, компилятор помочь не сможет.

Цитата MyNameIsIgor @ 09.07.15, 10:58

И каким образом вы мне гарантируете, что в этом вашем модуле нет ошибок с обработкой списков разной длины, например?

А каким образом вы мне гарантируете что в этом вашем компиляторе Хаскеля нет ошибок? Так или иначе мы должны постулировать истинность некоторых частей кода. В D нет встроенной функциональности для работы с такого рода списками, ее приходится эмулировать и постулировать верность этой эмуляции, иначе задача теряет смысл.

Цитата MyNameIsIgor @ 09.07.15, 10:58

Не принимается. Мы создаём её с ошибкой, потому что предоставленная вами иерархия позволяет создать с ошибкой.

Я не предоставляю вам такой иерархии, и она вам не нужна для генерации списков. Но я также не могу ее скрыть, поэтому вы имеете к ней доступ. В Хаскеле она скрыта изначально - все типы выводятся автоматически. Языки ставятся в неравные условия.

Цитата MyNameIsIgor @ 09.07.15, 10:58

В том же решении на шарпе такого не было.

С этим согласен, но надо еще посмотреть код. Вы сами-то пытались его сломать?

Цитата applegame @ 09.07.15, 11:19

А каким образом вы мне гарантируете что в этом вашем компиляторе Хаскеля нет ошибок? Так или иначе мы должны постулировать истинность некоторых частей кода.

Вот мы и постулировали - компилятор правильный. Некоторым этого достаточно

Цитата applegame @ 09.07.15, 11:19

Я не предоставляю вам такой иерархии, и она вам не нужна для генерации списков. Но я также не могу ее скрыть, поэтому вы имеете к ней доступ

Ну, как уже спрашивал D_KEY, как работать то с ними, если они скрыты? Вам придётся их открыть, чтобы компилятор на их основе хоть что-то доказывал.

Цитата applegame @ 09.07.15, 11:19

С этим согласен, но надо еще посмотреть код. Вы сами-то пытались его сломать?

Сломать то можно - вставить обращение по null или деление ноль. Только к спискам отношения не будет иметь.

Добавлено 09.07.15, 11:25

Цитата applegame @ 09.07.15, 11:19

В Хаскеле она скрыта изначально - все типы выводятся автоматически. Языки ставятся в неравные условия.

Каким образом вывод типов их скрывает? Они отнюдь не скрыты.

Цитата D_KEY @ 09.07.15, 11:02

Хм. Что такого я сделал? Ты сам это делаешь при вызове main_

Нет не делаю. Полагаю ты видишь разницу между List!N и List!1? В main_ тип выводится автоматически, а ты указываешь его явно.

Добавлено 09.07.15, 11:33

Цитата MyNameIsIgor @ 09.07.15, 11:23

Каким образом вывод типов их скрывает? Они отнюдь не скрыты.

Может я слишком плохо знаю Хаскель. Возьмем два выражения для этой задачи:

Сons i*i as

и

Cons i*i (Cons i*i as)

Они, имеют один тип, но компилятор может эти типы как-то различить. То есть где-то там внутри есть некое дополнительное свойство - скрытый "тип". Есть ли у меня возможность принудительно скастовать второе выражение к первому, так чтобы компилятор продолжал считать эти типы разными?

В D мне удалось сделать так, чтобы выражения cons(i*i, as) и cons(i*i, cons(i*i, as) имели автоматически выводимф разный тип. А вы своим вмешательством его меняете.

Сообщение отредактировано: applegame - 09.07.15, 11:35

Цитата applegame @ 09.07.15, 11:26

Они, имеют один тип, но компилятор может эти типы как-то различить. То есть где-то там внутри есть некое дополнительное свойство - скрытый "тип".

Нет, они имеют разные типы.

Цитата applegame @ 09.07.15, 11:26

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

Нет, просто потому, что это преобразование незаконно.

Цитата MyNameIsIgor @ 09.07.15, 11:35

Нет, они имеют разные типы.

А. ну тогда тем более.

Цитата MyNameIsIgor @ 09.07.15, 11:35

Нет, просто потому, что это преобразование незаконно.

Да. А в D - законно. Может не будем тогда незаконно менять тип возвращаемый cons и незаконно конструировать списки неверного типа?

Добавлено 09.07.15, 11:39

Цитата MyNameIsIgor @ 09.07.15, 11:23

Вот мы и постулировали - компилятор правильный. Некоторым этого достаточно

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

Цитата applegame @ 09.07.15, 11:36

Да. А в D - законно. Может не будем тогда незаконно менять тип возвращаемый cons и незаконно конструировать списки неверного типа?

Ничего не понял. Если в D она законна, то почему незаконно сконструировали?

Цитата applegame @ 09.07.15, 11:36

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

А почему просто не постулировать, что вы задачу решили, опозорили всех сомневающихся и покинули поле брани на белом коне?
Ещё раз: попытайтесь быть честным хотя бы перед самим собой.

Цитата MyNameIsIgor @ 09.07.15, 11:41

Ничего не понял. Если в D она законна, то почему незаконно сконструировали?

Потому что в Хаскеле незаконно.

Цитата MyNameIsIgor @ 09.07.15, 11:41

Ещё раз: попытайтесь быть честным хотя бы перед самим собой.

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

Цитата applegame @ 09.07.15, 11:46

Потому что в Хаскеле незаконно.

Цитата applegame @ 09.07.15, 11:46

Перед собой я честен.

Ууууууу... Ну, тогда беда-пичаль.

Кто может вот этот код переделать так, чтобы он компилялся? А то я не догоняю, как это заставить работать в ideone - http://ideone.com/1S3L6V

Цитата MyNameIsIgor @ 09.07.15, 11:49

Ууууууу... Ну, тогда беда-пичаль.

Может и беда, а может и нет. Посмотрим.

Сообщение отредактировано: applegame - 09.07.15, 11:55

Цитата applegame @ 09.07.15, 11:55

Кто может вот этот код переделать так, чтобы он компилялся? А то я не догоняю, как это заставить работать в ideone - http://ideone.com/1S3L6V

Компилятор же говорит, что надо сделать - http://ideone.com/iglyDq

Цитата applegame @ 09.07.15, 11:26

Цитата D_KEY @ 09.07.15, 11:02

Хм. Что такого я сделал? Ты сам это делаешь при вызове main_

Нет не делаю. Полагаю ты видишь разницу между List!N и List!1? В main_ тип выводится автоматически, а ты указываешь его явно.

Эм. Возможно я чего-то и не понял, но разве вот тут:

main_(n - 1, i + 1, cons(2*i + 1, as), cons(i*i, bs));

При вызове cons вызывается не первая перегрузка?

auto cons(int N)(int head, List!N tail) { return new ListN!1(head, tail); }

А разве при передачи в main_ ListN!1 не кастуется к List!1?