А я ж правильно понимаю, что если у меня в модуле есть
Если на топ-уровне это гарантируется MonomorphismRestriction. Если его отключили расширением NoMonomorphismRestriction то см. выше - если есть тайпклассы то это не константа а функция. Если не на топ-уровне то это MonoLocalBinds, и я не знаю какой у них статус сейчас
то оно тоже только один раз вычислится, а потом замемоизится?
Ммм, нет никакой мемоизации есть sharing. Если результат расшарите то он расшарится, а если нет то нет. Конкретнее надо на более полный код смотреть.
Как сделать параллельный mapM?
C помощью библиотеки где есть параллельный mapM. Конкретнее не подскажу
Так количество спарков выбирать не нужно -- можно просто запускать сколько хочется, они же N:M сами на ядра скедулятся.
Только если выбран правильный RTS и запущен с правильными ключами
tell (x, mempty); tell (mempty, y)
_1 <>= x; _2 <>= y
map, но он еще дает посмотреть на уже пройденные элементы. crazymap :: ([a] -> a -> b) -> [a] -> [b]. Это какой-то *морфизм?
newtype Ym b a = Ym (My a b)
unclechu > <@gitter_almays:matrix.org> Всем хорошего дня. Давненько сюда не заходил.
Я тут неспешно собираюсь новый мак прикупить, а они вдруг решили на ARM переходить. У меня будут трудности с GHC? Не смог нагуглить.
не особо вкурсе что там в мире маков, но вроде обещали прослойку совместимости для старых бинарников
unclechu интересно, поможет ли тут llvm-бекенд?
даже не понимаю, что тут можно не понимать. мы же в ФП. это значит, что функции — это данные. это значит, что функцию можно вычислить. если у нас есть определение f x = y, то мы можем в f подставить x и вычислить y. всё.
это продолжает работает, даже если y — ещё одна функция.
а замыкания, компилятор — это детали для тех, кто абстракцию не умеет
stack ghci --ghci-options -interactive-print=Text.Pretty.Simple.pPrint --package pretty-simple.