Где-то под СПб живёт чувак, который в генте Haskell суппортит.

@qnikst про тебя легенды уже ходят

ваще

Ух ты.

Почти что "во плоти" ?

во слове

тот самый человек, который пользуется гентой

это как в анекдоте: “так вот кто купил второй!”

А кто в минск поедет?

я

Я думаю, тут есть ещё пользователи генты.

И тишина....

И вот эта круглая штука, перекати-поле, бежит из одного края чатика в другой.

Я думаю, тут есть ещё пользователи генты.

Я ливнул на никсос с месяц назад

Вот кстати тоже мб ливну.

Но пока думаю, накатывать на нынешний ноут, или таки купить новый и вкатить уже на него.

Как оно, кстати, после генты-то?

тут есть прологисты?

вопросик(не просьба решить, просто я не понимаю почему либа не работает)

ну на основном ноуте у меня все ещё гента

но мне лень её обновлять

а у меня везде генту и я автоматизировал многое с помощью ansible

/ жаль нет ansible на хаскелле

propellor какой-нить https://hackage.haskell.org/package/propellor

а кто-нибудь пользовал его в продакшене?

Авторы юзают :)

что-то не вижу там ничего про темплейтинг

или свой писать надо?

о, пропеллор

темплейтинг чего?

когда я последний раз пытался в пропеллор - он не работал

поэтому мы теперь на никс, чего и всем желаю

nix, это не "на хаскелле" :)

ну, перевести инфраструктуру на никс это тот ещё подвиг по-моему

ну, не буква, но дух хаскеля. ну да, к никсу есть такая претензия, но

1) работает

темплейтинг чего?

конфигураций

2) там есть спецификация языка, можно теоретически написать свою реализацию

правда когда начинаешь, возникает вопрос - почему не скобки

конфигураций

это же либа, можно взять любой шаблонизатор и скомпозить (наверное)

ну в ансибл например это не просто либа, там структура плейбуков позволяет очень гибко разграничивать по группам/хостам

то есть это нужно будет самому строить

разграничение по группам и хостам есть и в пропеллере (вроде бы)

ну окей, надо будет попробовать что-нибудь написать

я видел ginger есть либа

в ансибл если активно пользуешься циклами, то неизбежно попадаешь на неявное приведение типов

это я так понимаю связано с парсером yaml

но тем не менее напрягает.

angel или propellor вместо ансибля на haskell

но наверняка либ на порядок меньше

если не на два

https://hackage.haskell.org/package/propellor

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

я предупредил.

используйте никс.

/ жаль нет ansible на хаскелле

вот да

Жаль никс не типизированный :)

я вообще давно репу чешу мыслями про язык, а не систему конфигурации

ведь уже полно умных дядь, которые обьяснили нам как с эффектами программировать

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

насколько странные?

ведь уже полно умных дядь, которые обьяснили нам как с эффектами программировать

Есть консенсус по этому вопросу? :)

все эти файлы на фс, порты, ограничения по памяти - кажется это всё эффекты

какой консенсус?

@donat_kh ну настолько, что использовать его не удалось, несмотря на всё желание. а желание было большое.

все эти файлы на фс, порты, ограничения по памяти - кажется это всё эффекты

Ну типа effect system vs linear types vs monad. Или нужно городить effect monad как в purescript?

ну я ещё не настолько умный чтобы обсуждать это

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

всем нужен го

ERROR: S client not available

контроль за эффектами для ламеров

о какое слово вспомнил

роб пайк собственно все объяснил на своей презентации

про гуглеров ;)

шо именна?

вот это вот https://pbs.twimg.com/media/C_icNBEWsAAjwld.jpg

кхм

чет перехотелось в гугль

будем превозмогать, писать километровые велосипеды на каждый чих, но читать больше пары абзацев - ни в коем случае

вон в Google X haskell

уже daily basis

зато честно ?

только попасть туда нужно как-то умудриться

про Go

я слышал google сильно сократил свои бюджеты на рисеч, разве нет?

без понятия, я знакомых гуглеров об инсайде обычно не спрашиваю

Язык не есть цель. Инструмент. Интересность работы = интересность задач.

^ enlightened

ой, сейчас умру. от смеха.

ой если бы мне за неитересные задачи на ats/coq платили

я бы с удовольствием писал

Как я буду вилкой-то работать интересную работу? Раз-раз-раз-раз!

не аргументирую за го, но важно также уметь искать простые способы решения задач

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

не тролль

Язык не есть цель. Инструмент. Интересность работы = интересность задач.

Если ты пишешь на каком нибудь js/python лет 5, то все интересные задачи ты уже решил и от языка тебя тошнит

интереность задач же от проекта зависит?

интересная задача на си, например

ну т.е да, какой-то извращенный интерес она вызвать безусловно может

о

https://www.codewars.com/kata/c-puzzle-pointer-monster/c вот такая

Ну типа effect system vs linear types vs monad. Или нужно городить effect monad как в purescript?

Обнаружил что в хаскеле уже есть такие же расширяемые эффекты как в purescript. Пробую сейчас. https://hackage.haskell.org/package/extensible-effects