PK
Yuri Pipchenko
Всех с наступающим!
А есть ли способ определить функцию и спеку к ней в одном макросе?
А есть ли способ определить функцию и спеку к ней в одном макросе?
Лично я не видел такого. И сомневаюсь, что можно.
Size: a a a
2019 December 30
PK
Точнее, не думаю, что можно это сделать так, чтобы это было читабельно 🙂
YP
У меня не получилось. Но мало ли, не все ещё варианты перебрал..
PK
а что ты хочешь этим получить?
PK
вариант вроде того, что в сях?
foo(integer() A) -> integer().YP
Мне надо сделать много однотипных функций. Макросом они все вполне описываются. Ну и спеки к ним. И вот из за спек приходится делать две строки в коде вместо одной.
AB
Кстати, и вправду интересно, как оптимизатор хаскеля разбирается, что можно реиспользовать, что нет. Только по обертке? Но ведь можно сделать другую монаду для недетерменированных вычислений
AB
Оптимизатор хаскеля же должен полагаться на referential transparency по дефолту
PK
Yuri Pipchenko
Мне надо сделать много однотипных функций. Макросом они все вполне описываются. Ну и спеки к ним. И вот из за спек приходится делать две строки в коде вместо одной.
Ну может я не до конца понимаю, но две строки вместо одной в случае функции и спеки не выглядят плохо.
YP
Да, согласен. Но хочется одну ). Ладно, спасибо.
AG
это жесть конечно - эрланговские вакансии сносить в эрланговском чатике
https://t.me/erlangrus/46916
Вот она, можешь изучить
Вот она, можешь изучить
СИ
Anton Grechnev
https://t.me/erlangrus/46916
Вот она, можешь изучить
Вот она, можешь изучить
я знаю эту вакансию, но смысл ее удалять?
AB
Yuri Pipchenko
Да, согласен. Но хочется одну ). Ладно, спасибо.
через шаблонизатор какой нибудь можно сделать наверное типа как тут: https://github.com/tsloughter/grpcbox_plugin/blob/master/priv/grpcbox_service_client.erl
AB
тут используется тот же темплейтер который rebar3 new app итд делает
LW
Мне интересна часть о детерменированости
Любые функции в хаскеле, не содержащие unsafe — чистые и детерминированные. Даже функции, работающие в монаде IO.
LW
Любые функции в хаскеле, не содержащие unsafe — чистые и детерминированные. Даже функции, работающие в монаде IO.
Это, по сути, набор инструкций рантайму, что делать. И функция возвращает всегда один и тот же набор инструкций. А интерпретировать его рантайм может единожды, или многократно. Если он это сделает многократно, может получить разные ответы. Но эта штука находится уже под капотом хаскелевского рантайма.
АН
Любые функции в хаскеле, не содержащие unsafe — чистые и детерминированные. Даже функции, работающие в монаде IO.
Результат IO функции невозможно определить по входным данным. Следовательно она не детерменирована
И
Результат IO функции невозможно определить по входным данным. Следовательно она не детерменирована
Нет никаких IO функций, есть функции, возвращающие значения типа IO a
LW
Результат IO функции невозможно определить по входным данным. Следовательно она не детерменирована
как сказано выше, функция возвращает IO a, а не a. То есть, она возвращает схему вычислений, а не результат.