Расскажите кто как пробовал формальную верификацию делать?

Ну всмысле отлавливать хитрые ошибки на этапе компиляции

static if выглядит круто для оптимизаций, а static assert может както рассчитать границы чисел, обнуляемость..?

Короче что нибудь крутое

В силу того что видимо D не дает доступа к AST то велосипедство в этом плане ограничено

Пока выглядит перспективной затея в инлайн тесты прогонять

я вот все никак не пойму, а чем контракты-то хуже. Да, проверка не на этапе компиляции, но она работает)

я прикладной программист, поэтому сразу говорю, что, скорее всего, чего-то не понимаю

Требования в системном программировании повыше чем в прикладном

это понятно) но можно какой-то пример, где контракты D не справляются с задачей?

Требования в системном программировании повыше чем в прикладном

О интересное утверждение, во мне уже давно сомнения по этому поводу внутри, как-нибудь надо развить тему.

ну, я лично одновременно согласен с этим утверждением, и одновременно нет. Просто все зависит от того, к чему конкретно эти требования)

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

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

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

По-моему дело просто в разных предметных областях

По сути у операционной системы предметная область не такая уж хитрая (за десятки лет тема изъезжена) - там страницы памяти, сборщик мусора, процесс, поток, низкоуровневое IO для оборудования.

А у автопилота? Да там черт знает что, модели реальности, распознавание образов с адской математикой и т.д.

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

Вы о чем)

Меня волнуют библиотеки, игровые движки и ядра/драйверы операционок

На кой ляд там контракты?

Итак багов хватает везде. Лучше иметь компайл тайм верификацию чем не иметь. Во вторую очередь бонусы к скорости.

Так D умеет что-то подобное?

Так D умеет что-то подобное?

верифицировать диапазон значений переменной? не встречал такого в D

а rust умеет?

А нуллабилити?

А нуллабилити?

в ct значения не проверить, даже на null

либо я не знаю как это делается

а rust умеет?

Да в расте нихрена еще не ратоботает, куда не плюнь ставь ночную сборку

я к тому что эта задача вообще решаема?

в ct значения не проверить, даже на null

И даже не задать тип непринимаюший нуль?

я к тому что эта задача вообще решаема?

Решаема конечно, учитывая возможности метапрограммирования

И даже не задать тип непринимаюший нуль?

так принимать то он должен в rt

Но не знаю решаемо ли в самом D

всё что известно в ct можно проверить

а аналитические вычисления возможных проблем это дело такое... шаманское...

и может быть только warning'ами должно выводиться

И даже не задать тип непринимаюший нуль?

можно его создать

и в rt он не будет принимать 0

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

Решаема конечно, учитывая возможности метапрограммирования

а вообще, можно пример такой увидеть?

для ссылочных типов от нула избавиться сложно, для тех, кто имеет значение, есть Nullable

а лучше свой Nullable через алгебраический тип, чтобы ничто кроме try не могло его разрулить. 100% защита от непроверки на ноль

и такого в D можно много

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

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

и эти проверки будут в ct?

там есть вариант полного ct, но очень негибко и неудобно

можно найти тему на форуме и почитать, что там будет

auto a = MyInt!10?

в принципе ничто не мешает сделать такой инт, Int!(from,to), у которого все арифметические действия будут возвращять новый тип Int с новыми предельными границами

int!(0,100) + int!(0,100) = int!(0,200);

http://forum.dlang.org/thread/npicb6$1idd$1@digitalmars.com

Океуч, нужно экспериментировать

void doSomething(const float[16] m0) const pure { // ... }

Что в данном случае делает const перед телом функции? Делает все локальные переменные неизменяемыми?

это отдельный метод? Или метод класса?

Я этот семпл видел как метод класса

Кстати, Вам, возможно интересно будет https://forum.dlang.org/post/drqdrobcoaanenocycgp@forum.dlang.org

если метод класса, то скорей всего const делает то же самое, что в C++

Запрещает изменять поля класса

Кстати, Вам, возможно интересно будет https://forum.dlang.org/post/drqdrobcoaanenocycgp@forum.dlang.org

This post is both a post-mortem and tutorial on how to live without the D runtime Круть

а сейчас существуют какие-нибуть сайты по dlang на русском?

http://wiki.dlang.org/Reading_the_documentation_%28in_Russian%29

ага, это видел

ERROR: S client not available

помнится был форум на dlang.ru - он сдох?

это к @DmitryBubnenkov вопросы)

его домен?

Да блин есть проблемка немножко. Щас тупо времени нет что то делать с сайтом

Да мой

он еще вроде на asp.net написан. То есть сложно поддерживать

Просто непонятно что нужно. Форум или что более актуально?

1 сек

Да нужна какая-то смесь соцсети, форума и QA доски и ленты новостей

сейчас ещё сайтик скину

@chebotarevp сложно для кого?

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

http://lhs-blog.info/

Именно так. Я вкладывал деньги в создание крутой cms но проект провалился

Цмс была на шарпе

Во многом причиной провала является интерпрайзность продуктов МС

сайт/форум как раз этой цмс и был?

Именно

Могу если интересно поднять на посмотреть как оно было

спасибо, я уже видел его

просто давно не следил за dlang comunity

что-нибуть еще полезное написано на этом языке? (кроме переключалки раскладки)

http://dlang.org/orgs-using-d.html

о, пасиб

http://code.dlang.org/

Отрефакторил код, в логику которого регуларно какие-то изменеия вносились и он стал просто жутким и вообще непонятно что делающим, да ещё и с багами. Код переписал, баги поправил, получился класс, с экземплярами которого можно творить какую-то инопланетянскую арифметику (здесь считаем, что все "числа" больше нуля [но это не обязательно], а все эти выражения истинны, += и - здесь работают ожидаемо в отличие от +): a + b <= (a += b)); c = a + b; c >= a && c >= b; Вот реальный кейс, который очень нужен был от этой ерунды: c = a + b; d = c - a; d <= b; //При этом чаще именно меньше и нужна именно разность return b - d; Сумма двух значений может оказаться обычной суммой, а может большим из этих двух значений. Как определяется когда происходит так, а когда сяк? Ну например за счёт чудес с приватными полями. Но не только. Ещё сумма двух значений может оказаться чем-то таким: c = a + b; c > a && c > b && c < (a += b); Но это-то как произошло? А вот "квантовая спутанность" сработала: где-то есть ещё d, e, f, g, etc. и в сумму С вместо B попал Y. И таких чудес ещё полно. Похоже на квантовую механику или просто баги со сбежавшими указателями, но это точное отражение простой и понятной (менеджерам) бизнес-логики (и это не бред типа "купи два получи три") и работает оно как надо.

привет всем! кто знает, почему не собирается такой код? ref Fraction opUnary(string op)() { if(op == "++") { this.num += this.den; return this; } if(op == "--") { this.num -= this.den; return this; } if(op == "+") { return this; } if(op == "-") { this.num = -this.num; return this; } } } выдает Warning: statement is not reachable на 2 последних if. Если сделать их else if - всё работает

привет всем! кто знает, почему не собирается такой код? ref Fraction opUnary(string op)() { if(op == "++") { this.num += this.den; return this; } if(op == "--") { this.num -= this.den; return this; } if(op == "+") { return this; } if(op == "-") { this.num = -this.num; return this; } } } выдает Warning: statement is not reachable на 2 последних if. Если сделать их else if - всё работает

Лучше оформить баг репорт на это дело

Отрефакторил код, в логику которого регуларно какие-то изменеия вносились и он стал просто жутким и вообще непонятно что делающим, да ещё и с багами. Код переписал, баги поправил, получился класс, с экземплярами которого можно творить какую-то инопланетянскую арифметику (здесь считаем, что все "числа" больше нуля [но это не обязательно], а все эти выражения истинны, += и - здесь работают ожидаемо в отличие от +): a + b <= (a += b)); c = a + b; c >= a && c >= b; Вот реальный кейс, который очень нужен был от этой ерунды: c = a + b; d = c - a; d <= b; //При этом чаще именно меньше и нужна именно разность return b - d; Сумма двух значений может оказаться обычной суммой, а может большим из этих двух значений. Как определяется когда происходит так, а когда сяк? Ну например за счёт чудес с приватными полями. Но не только. Ещё сумма двух значений может оказаться чем-то таким: c = a + b; c > a && c > b && c < (a += b); Но это-то как произошло? А вот "квантовая спутанность" сработала: где-то есть ещё d, e, f, g, etc. и в сумму С вместо B попал Y. И таких чудес ещё полно. Похоже на квантовую механику или просто баги со сбежавшими указателями, но это точное отражение простой и понятной (менеджерам) бизнес-логики (и это не бред типа "купи два получи три") и работает оно как надо.

Впечатляет. Т.е. проблема со сбежавшими указателями решилась путем оборачивания значений в классы (вместо использования указателей)?

Впечатляет. Т.е. проблема со сбежавшими указателями решилась путем оборачивания значений в классы (вместо использования указателей)?

Я раз 10 перечитывал пытаясь понять о чем речь)

Читал про higher kinded types в Rust и показалось что в D такое повсеместно используется и никто не придает этому особое значение. Написать бы блог пост на эту тему, и можно откусить часть аудитории впечатлительных растаманов :)

Да у ди есть такое, то что например в го пиарится как мегафича, в д просто между делом реализовано и всем норм :)