но видимо это кабало проблема и там надо что-то удалить и перекачать

hvr писал

ладно, пасиб, пойду чтоли пообедаю, потом продолжу этот бесмысленный бой

cabal: failed to parse output of 'ghc-pkg dump'

что-то не так с версиями?

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

надо будет на пурскрипте наивную имплементацию написать

наивную это какую? без mutual recursion?

просто имплементировать список как АлгТД и все функции которые используются

просто имплементировать список как АлгТД и все функции которые используются

у пурсы беда с Control.Lazy оптимизашек нет

ну хотябы то, что я сделал iterate не вышибает стек

это наивный порт с хаскелл + Control.Lazy

да, но он и без оптимизаций все равно быстрее чем в имплементациях где есть SMP

да, но он и без оптимизаций все равно быстрее чем в имплементациях где есть SMP

SMP?

нужно походу эту штуку расширить для iterate https://github.com/paf31/purescript-lists-fast

например через трамполин подход

есть еще это https://github.com/Thimoteus/purescript-infinite-lists но тут нет all

SMP?

ну вот в каком-нибудь F# Lazy надо тредсейф делать, а в окамле, ну и соотвественно V8 не надо, незачем просто

https://github.com/robertmassaioli/purescript-infinite-list

надо где-то хранить небольшое состояние между запусками одной процедуры. желательно и между запусками любых программ, включающих эту процедуру. не хочу привязывать библиотеку к какому-то конкретному решению, а просто принимать структуру Var{read :: a -> IO, write :: IO a}, чтобы приложение-пользователь само подсунуло IORef, TVar, файл или acid-state. может, этот велосипед уже кто-то изобретал и для него есть стандартный интерфейс?

а только меня бесит что stack криво парсит .cabal файлы?

разве он парсит?

Cabal их парсит

нет

иначе бы не было проблемы с herbert operator

и прочим

ну и cabal-install парсит, а stack нет

криво интерпретирует диапазоны версий?

если в exposed-modules ставить запятые вконце

во стэке может быть не самая свежая Cabal

то cabal нормально парсит, а стек вываливается

так простите, это я ошибся

все норм

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

вроде помнил но забыл

внезапно containers

хочется иметь data Unit ['TimeUnit] where Unit :: (Elem x xs, тут что-то ещё) -> Unit xs, как это правильно реализовывать

где Unit это выбор одного значения из type-level списка

в принципе все это синглетоны, но либу тащить не хочется очень

как это правильно реализовывать

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

как set? разве что в generic sop видел

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

@A64m_qb0 а у нас что-нить для рядового полиморфизма хорошее есть?

рядного

рядовой веселее

так же как и хацкель

но да, так не надо говорить

Рядовой Полиморфизм, выйти из строя

Кстати, Хаскель - это имя учёного https://en.m.wikipedia.org/wiki/Haskell_Curry

Кстати, Хаскель - это имя учёного https://en.m.wikipedia.org/wiki/Haskell_Curry

спасибо кеп)

а каррирование на его честь названо) так как он его переоткрыл независимо от Шейнфинкеля

There are three programming languages named after him - чтоб наверняка уж

а allow-lower уже притащили в cabal?

или нужно head

(cabal-install)

@A64m_qb0 а у нас что-нить для рядового полиморфизма хорошее есть?

generic-lens есть (хорошесть там, конечно, не особая)

у меня есть серванто-апи, и там 100600 QueryParam

и мне не охота его Maybe кормить

написать, то я это руками могу, но лень

в смысле рядового нашего

тут рядного полиморфизма мало

ну вообще мне достаточно Subset xs ys => Row Maybe xs -> Row Maybe ys

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

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

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

ERROR: S client not available

imve.informatik.uni-hamburg.de/files/35-EGVE07_FRVR_BlomBeckhaus.pdf

никто не сталкивался с hasktags: ./**/*.hs: getSymbolicLinkStatus: does not exist (No such file or directory)

причем, в других местах работает ок. что бы это могло быть ? ?

fs та же?

хотя странно

да

то работает, то нет

даже на одном эээ каталоге.

что взять для работы со стримами? Что-нибудь максимально простое, потому что задача простая (разбить список ссылок на чанки, загрузить их с паузой между чанками, получить стрим из респонсов, достать из каждого респонса еще по массиву ссылок и опять загрузить все ссылки по чанкам с паузой). Конкретно раньше из такого работал только с rx/most в js. подумываю еще о том, что можно акторы взять для этого

можно любой streaming

авторы козявки!

акторы

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

то работает, то нет

Не внутри докера?

не

Хм. Прикольно.

@qnikst а forkProcess же по сути запускает ещё один RTS? Я ничего не путаю?

да

как сишный форк, просто аккуратненький

у тебя будет 2 процесса, с n тредами каждый своими rts и менеджерами

а оно где-то задокументировано?

что?!

вот этот факт

как именно он форк делает?

man 2 fork ?

что подымается ещё один RTS

или типа это из того что это fork должно следовать, что гц и проч будет отдельное?

в чём заключается аккуратненькость?

Kirill мне кажется в документации forkProcess все сказано: > forkProcess corresponds to the POSIX fork system call. The IO action passed as an argument is executed in the child process; no other threads will be copied to the child process. On success, forkProcess returns the child's ProcessID to the parent process; in case of an error, an exception is thrown.

@cblp_su стопаем HECs, форкаемся, оставляем только один в GC root, вызваем GC, включаем HECs

сказано только про потоки