Чистые функции

[@tr0nd]

а сферические кони в вакууме так и вообще идеальны…

[@kost_bebix]

Хотим еще про D! Больше и разного!

[@miolini]

pure

[@xsubst]

Почему не оформите в виде «перевода»?

[@miolini]

Тип документа уже нельзя отредактировать. Следующий раз обязательно так и сделаю.

[@Stac]

Артём, если ты в Москве, посмотри анонс встречи программистов. Приходи рассказать про D.

[@chiaroscuro]

Это в статье (переводе?) ошибочка.

Разумеется, если в D функция отмечена pure, то пользоваться глобальными переменными не получится. :)

[@miolini]

А в чем именно ошибка?

[@miolini]

Получится, если они imutable.

[@miolini]

ну не любая, а, ещё раз повторюсь, imutable. что даёт уверенность в том, что её значение останется неизменным.

[@shai_xylyd]

Да ладно, а если функции имеет дело с геометрией и активно используют число pi, то прикажете 3.14 забивать в тело каждой функции? Кажется общепринято порицать copy-paste.

[@miolini]

Смотрите мой коммент ниже.

[@miolini]

Ну как всегда две стороны одной медали. Одно дело когда immutable переменные являются стойкими, и, например, относятся к константам из какой-либо науки. Другое дело, когда её объявил коллега. Допустим это BUFFER_SIZE. И захотел в какое-то время поставить ей слишком высокое занчание — получаем возможность «Out of memory». Или слишком низкое — получаем возможность падения производительности. Или, что ещё хуже, таймауты по пути следования данных.

[@shai_xylyd]

О! Pi не зависит от постоянной Планка?

[@shai_xylyd]

ħ = 4πRr²cm, где
  R — константа ридберга
  r — Боровский радиус
  c — скорость света
  m — масса электрона

?

[@oleganza]

набашорг =)

[@korynd]

Число Пи — отношение длины окружности к её радиусу, поверьте, оно не зависит от постоянной Планка.

[@miolini]

Глобальные переменные можно использовать, если они imutable.

[@Terentich]

Интересный теоритический материал. Заинтересовал данный язык, однако информации немного по нему. Буду рад, если вы, а также другие хабрапользователи, будете снабжать читателей новыми статьями. ;)

[@miolini]

Да беспроблем.

[@FlasteR]

Автор, исправь ошибку в самом начале поста:

[@miolini]

Какую?

[@FlasteR]

Чистые функии
Надо: Чистые функиЦи

[@miolini]

И как её не заметил ( Спасибо!

[@FlasteR]

Точнее Чистые функЦии (сам ошибся указывая на чужую ошибку)

[@miolini]

)

[@Throwable]

Не совсем понимаю как в первая функция запрещает изменение содержимого передаваемого массива. То есть const int[] a предохраняет изменение массива (или только ссылки на него?) в контексте функции, но не за ее пределами. Поэтому при асинхронном выполнений возникнет несоответствие «concurrent array modification».

Вообще передача ссылочных типов в «чистые» функции нарушает их изолированность от контекста выполнения. Единственный вариант сохранения изоляции — это делать глубокие unmodified копии передаваемых объектов. Иначе, для пущей чистоты, придется запретить ссылки.

[@korynd]

Могут быть чистые методы? Или достаточно const-методов?