Size: a a a

2020 August 08

L

LevT in ФП
Alex Gryzlov
я бы не стал говорить, что вас не понимают, просто задача у вас расплывчато сформулирована
Вот Мохов формализовал билд тулзы, и вышло уже достаточно сложно.
Мне кажется, что потенциально "всё упростится", если дополнительно зайти и с другой стороны - формализовать конкретизацию окружения.
источник

AG

Alex Gryzlov in ФП
ну вот билд тулы это конкретная задача, ведь у них статья как выглядит? возьмем мейк, шмейк и эксель и попробуем найти общую абстракцию
источник

L

LevT in ФП
В том-то и дело что конкретные реализации уже есть, nix/guix.
Но они подходят не всем.
источник

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Peter Sovietov
Есть же вполне практичные комбинаторные языки. Чаще это DSLs.
Пролог?..
источник

SK

Sevapp Keller in ФП
😢
источник

PS

Peter Sovietov in ФП
Нет, что-то из серии FL, PLaSM, J/K, Faust, SPIRAL и проч.
источник

AK

Andrew Kravchuk in ФП
Peter Sovietov
В последнее время и дня не проходит без упоминания Dhall :)
Dhall выглядит, как переизобретённый php, если честно
источник

PS

Peter Sovietov in ФП
Andrew Kravchuk
Dhall выглядит, как переизобретённый php, если честно
А что есть в этой области более интересное?
источник

AK

Andrew Kravchuk in ФП
🤷‍♂️
источник

AK

Andrew Kravchuk in ФП
Кложуровский EDN?
источник

Oℕ

Oleg ℕizhnik in ФП
Peter Sovietov
А что есть в этой области более интересное?
Такого уровня поддержки в разных языках - нет
источник

JS

Jerzy Syrowiecki in ФП
Andrew Kravchuk
Dhall выглядит, как переизобретённый php, если честно
что между ними общего?
источник

AK

Andrew Kravchuk in ФП
Jerzy Syrowiecki
что между ними общего?
Мешанина из данных и кода
источник

AK

Andrew Kravchuk in ФП
Сразу напоминает типа-html-тег <?php>
источник

JS

Jerzy Syrowiecki in ФП
Andrew Kravchuk
Мешанина из данных и кода
но ведь одно — динамическое и тьюрингово, а другое — статическое и тотальное. принципиально разные задачи решает
источник

AK

Andrew Kravchuk in ФП
источник

L

LevT in ФП
Andrew Kravchuk
Мешанина из данных и кода
Общее замечание.
В комбинаторной логике нет этого разграничения данные-код.

Мне кажутся законными попытки сконструировать язык более близкий к основам, и ради этого стоит пойти на когнитивные жертвы. При удаче они оправдаются.

Императивщики тоскуют и по циклам - не отказываться же от ФП вообще?
источник

в

весёлый кремовый 🍰 т... in ФП
Andrew Kravchuk
Кложуровский EDN?
лол, очередной жсон
источник

в

весёлый кремовый 🍰 т... in ФП
зачем он, когда есть какой-нибудь toml?
источник

в

весёлый кремовый 🍰 т... in ФП
dhall же принципиально про другое
источник