@qnikst Tweag-овских же ребят дело, не?

А вот срать на нетипизированность, надо просто в проге своей сделать субкомманду chkconfig, как у nginx

@cblp_su выглядит как будто ты осуждаешь yaml, а если прищуриться, то библиотеки для работы с ним в разных языках

вообще человека взяли на контракт ради этого, т.е. грубо говоря tweag платит

И тайпчекай что хочешь

yaml в том числе, он сложный

@cblp_su выглядит как будто ты осуждаешь yaml, а если прищуриться, то библиотеки для работы с ним в разных языках

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

много какие RFC полны офигительных историй

В Haskell парсер YAML выдает JSON из aeson 😱

Это не серьезно вообще.

Слишком быстрый чат у вас тут

ИЗОМОРФНЫЙ YAML

не говорите фронтендерам

💯

много какие RFC полны офигительных историй

в результате персеры получаются не совместимые между собой

Однажды я решил разобраться, как настроить policykit. В нем в качестве языка конфигурации выбрали JS.

(После этого я к языкам конфигурации не очень придираюсь, а policykit так и не настроил)

в результате персеры получаются не совместимые между собой

Ну неприятно, но для обычных юзкейсов все равно катит, если софт на ЯП X конфигуряешь, то и пишешь субсет безопасный для ЯП X. Переносимости YAML-конфигов для разных ЯП мне никогда не хотелось(хотя RFC нормальный не помешал бы)

кто-то использует стэковые ЯП для конфигов — sendmail, Asterisk — и ничего, админам нравится. их, конечно потом в дурку забирают

кто сказал что им нравится?

Ну неприятно, но для обычных юзкейсов все равно катит, если софт на ЯП X конфигуряешь, то и пишешь субсет безопасный для ЯП X. Переносимости YAML-конфигов для разных ЯП мне никогда не хотелось(хотя RFC нормальный не помешал бы)

я первый раз огрёб проблем с ямлом, когда запускал клиента на Питоне+PyYAML с сервером на Питоне+PyYAML. только разные версии были

Как вообще админам что-то нравиться может, они вынуждены конфигурить кривой софт и не могут в нем ничего даже пропатчить, потому что не программисты

после слова "нравится" идёт предложение, изменяющее смысл этого слова

зато конфиг автоматически моноидален

На каком этапе своей жизни человек вообще может решить, что хочет писать конфиги и bash-скрипты? Это как взять программирование и убрать из него все, что может приносить хоть какое-то удовольствие. Вот останется сисадминство А потом Гонзалес приходит и решает, что для улучшения жизни надо сделать тотальный язык конфигов с хиндли-милнером и сетевыми импортами. Может хоть теперь поразвлечься можно будет. Его наверное в Twitter заставляли конфиги писать

это специальная дисциплина

В админстве костыление это не плохо, а хорошо. Т.к. криворукие программисты что-то шипят, а это хрень как-то еще и работать должна.

Вот с Dhall можно писать тотальные тайпсейфные костыли, вот она мечта.

нельзя

все орут вокруг, все лежит, зато тайпсейф

можно хотеть писать их

так и представляю

но написать там что-то очень сложно

ибо ТИПЫ и ТОТАЛЬНОСТЬ

причем типы сами-то по себе это хорошо

и никакого полиморифизма нормального

Так, за СТРОГУЮ НОРМАЛИЗАЦИЮ стреляю в упор

На Хаскелле продакшен пишут много где. Лору Палмер убил её отец. Земля круглая. 42. Кит или слон — зависит от среды. Возьму пики, срублю остальное. Самолёт с ленты взлетит.

Взлетит 😂

и никакого полиморифизма нормального

Там нет параметрического? Вроде List Double в примере в туториале, значит List :: * -> *, я думал там хиндли-милнер

там так что он неюзабелен

Если язык конфигов без завтипов, то ни одного нормального конфига не написать

на ходу тип не сделать, если сделать, то все не работает (/me не может найти примеров)

хотя бы рядовой полиморфизм дайте

рядовой Полиморфизм, шаг вперед!

чтобы я мог одной функцией дополнить структурку соотвествующими nothing в опциональных полях

или вообще работать только с частью структуры

"Рядовой полиморфизм" — просто топ, мой новый любимый термин в ФП

"Рядовой полиморфизм" — просто топ, мой новый любимый термин в ФП

А что это?

Я сначала подумал, что под "рядовой" имеется в виду "самый обычный, как везде"

я старался

Потом @catamorphism предложил, что это рядовой

Потом по примеру доехало, что это row polymorphism

row polymorphism

а он роу-полиморфизм

Я сначала подумал, что под "рядовой" имеется в виду "самый обычный, как везде"

И я так думал.

Взлетит 😂

ой, конечно, я сам себя запутал

row polymorphism

Ага, Row. Прикольная штука

а он роу-полиморфизм

он теперь рядовой, а в Lamdu еще будет колумнистский

а я в интернетах читал, что зависит от самолёта, и вообще это классическая модель обсчета самолёта, наврали?

(там column polymorphism)

колонковый

столбцовый ещё

но рядовой круче, там отличная неоднозначность

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

Самолёты бывают с энерговооруженностью >1. Такие могут просто вертикально взлететь

эта неоднозначность мне уже с free structures надоела. хватит

free as a beer?

freer as beeer

free as a monad

с free там другая неоднозначность?

Говоря о проблемах перевода, как там говорят "left identity" применительно к закону моноидов?

free as a bee, freer as beer

тут все же из другие термины из области не подобрать

"закон левой единицы" это просто что-то с чем-то

с free там другая неоднозначность?

там обычно аргуметация, что "свободный", потому что нет дополнительных требований. но по этой причине "бесплатный" подходит куда лучше

Это что значит лучше?

более подходящий к моему мозгу

"свободный от оплаты" — это плохая замена слову "бесплатный", разве нет?

я просто не вижу где тут речь о плате идет

не то чтобы я в других случаях чем-то платил, чтобы монаду получить