на хабре, кажется, просто обзор

также можно посмотреть гонзалесовские блокпосты про "паттерны" типа такого http://www.haskellforall.com/2012/09/the-functor-design-pattern.html

класси линзы и призмы из вилсоновского доклада это тоже паттерн

вот к примеру описание final tagless https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/

а значительная часть ооп-ных паттернов, это да, накостыливание ФВП, так что их в ФЯ нету, но и своих там полно

вот тоже, можно сказать из серии ФП-паттернов http://repository.upenn.edu/cgi/viewcontent.cgi?article=1773&context=cis_papers

http://blog.ezyang.com/2010/05/design-patterns-in-haskel/

функция высшего порядка

Монадка паттерн, стек монадок тож паттерн, проброс ошибок через State -- паттерн. Другое дело, что я вообще не понимаю что такое ФП? Это как процедурное программирование, но с ФВП? Как в скиме?

а что такое процедурное программирование - это понятно что ли?

хоп хоп процедурки

лабмдастайл

ой это не то

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

т.е как во всех остальных подходах?

Ну типа в чистом ООП программа это набор объявлений особой разновидности типов

В жавке нет ни одной процедуры вообще

let x=1:x; print (head x) ; :sprint x

и ghci вешается

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

т.е как во всех остальных подходах?

как в официальном интерфейсе к CPU

ФП это когда у тебя все суть объявление и применение функций, а императивное когда состояние месишь.

щас бы в одну кучу

По крайней мере так в вузе рассказали :D

декларативность/императивность

объекты и функции

Объекты и декларативность/императивность - перпендикулярны

ну я бы так не сказал. Объект - это мутабельный стейт + идентити, императивность значит.

ФП это когда у тебя все суть объявление и применение функций, а императивное когда состояние месишь.

Мутабельный необязателен для объектиков

ну я бы так не сказал. Объект - это мутабельный стейт + идентити, императивность значит.

Идентити? Не уловил

ну не структурная эквивалентность, а проверка на равенство указателей

А причем тут проверка на равенство указателей и указатели вообще?

ну хорошо, не структурная эквивалентность, а каждый объект равен только себе самому вне зависимости от равенства его составляющих

Просто оставлю это здесь https://autotools.io

неделю не писал и не читал ничего по русски. смотрю сейчас на свое предыдущее сообще и как-то оно странно выглядит 🤔

Сейчас так все пишут.

та книжка хорошая

что обычно делают в таких ситуациях?

что за дистр?

арч

yaourt -S ncurses-full-git

вот буквально только что решил аналогичную проблему этим)

оно заменит ncurses и libtinfo из оф. репозитория и всё норм должно быть

щас погляжу, спасибо

что обычно делают в таких ситуациях?

мне помогло это: sed -i 's/-fno-PIE/-no-pie/g' ~/.stack/programs/x86_64-linux/ghc-nopie-8.0.1/lib/ghc-8.0.1/settings

с точностью до твоих папок

yaourt -S ncurses-full-git

очень неинтуитивно, но помогло похоже

спасибо

что обычно делают в таких ситуациях?

мне помогло обновить stack и ghc

мне помогло обновить stack и ghc

пробовал, мне не помогло

просто в свежей версии GCC починили PIC/PIE, а GHC об этом вовремя не узнал

правда, это было год назад

товарищи, а никто не в курсе нету ли готовых утилит, которые докер контейнеры могут запускать чем-то человеческим типа systemd-nspawn?

там не должно быть ничего сложного, путь до rootfs до докеровского контейнера найти и передать в systemd-spawn

напомню только, что systemd-nspawn для продакшона не годится

там не должно быть ничего сложного, путь до rootfs до докеровского контейнера найти и передать в systemd-spawn

В теории. На практике, я так понял, докер все же более продвинутый, и поддерживает кучу фич, которые nspawn не умеет.

ну, смотря что именно нужно

так-то nspawn вообще ничего не умеет, это, можно сказать, продвинутый chroot

эм

но для развлечений на локалхосте его вполне хватит

nspawn делает тоже самое на тех же технологиях что и докер

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

Докер это тоже продвинутый чрут. С неймспейсами и cgroups

само собой, но плюшек из коробки у него нет

spawn - это тоже очередной интерфес к namespaces и cgroups

и lxc

😂

и unshare

и 3 баш-скрипта, у меня на локал хосте для моих нужд это тоже самое

ну они все через unshare

но говорить, что unshare - то же самое, что и lxc, я бы не стал

работают который системный вызов

я имею в виду unshare из coreutils

что обычно делают в таких ситуациях?

https://github.com/commercialhaskell/stack/issues/2712 собсно флагами решается, у меня (тоже арч) не было в одном месте указано

пардон, из util-linux

да, не важно, все поняли

lxc, и docker более высокоуровневые инетерфейсы всеж, дающие более человеческий интерфейс и автоматизирующие часть задач

иногда не zerocost

https://github.com/commercialhaskell/stack/issues/2712 собсно флагами решается, у меня (тоже арч) не было в одном месте указано

я вот зафиксил обновив ncurses из гита через аур

стоит ли мне волноваться о будущем?