Operator :))

[thedeemon]

Сегодня на работе писал очень веселый код - со смайликами!

...
mergeTypes t1 (t2:ts) = (t2 :) <$> mergeTypes t1 ts
...
fs <- mapM (\(fld, ty) -> silly ty <&> (Str (fld ++" : ") :)) $ M.assocs row
...

Много ли языков их используют?

Comments

[nealar]

(.) . (.)

ага

[swizard]

Если я скажу, что любой смайлик - это валидный код на J, скорее всего, я не ошибусь :)

[theiced]

и на скале

[bvlb]

=)))

По-моему, по этому коду есть песня: https://youtu.be/wI66XSmyqwI?t=34

[thedeemon]

Да, именно так он и читается. :)

[avnik]

Забавно и функция silly тоже ;)
(я правда такое заказчикам избегал-с, вдруг у кого-то чувство юмора сфейлит)

[thedeemon]

У нас тут есть язык SIL - Symmetry Integration Language. Это от него прилагательное. А код этот в исследовательском прототипе, ему далеко не идти.

[rdia]

Камл, всё-таки, сильно дубовее и читаемее...

[thedeemon]

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

[rdia]

А как вы относитесь к алгебраическим эффектам? Оно не может частично решить проблему?

[thedeemon]

Пока не знаю, надо поиграться в разных языках.
Как в Идрисе было с библиотекой Effects - мне понравилось. Там как бы все в одной монаде, и только в ее параметрах меняется список эффектов.