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

Ты хочешь их разруливать в рантайме?

ну они в такой же степени в рантайме как тайпклассы к примеру

леннартовые вайлдкарды это record wildcards?

и вообще что про это почитать?

про это - это про что?

модули рекорды и все все все

@A64m_qb0, присоединяюсь к ^

как обзор по модулям, вводную часть дрееровского диссера http://people.mpi-sws.org/~dreyer/thesis/main.pdf

потом всякие новинки

f-ing https://people.mpi-sws.org/~rossberg/f-ing/f-ing-jfp.pdf

и 1ML https://people.mpi-sws.org/~rossberg/papers/Rossberg%20-%201ML%20--%20Core%20and%20modules%20united%20[JFP%20Draft%202].pdf

mixml https://people.mpi-sws.org/~rossberg/mixml/mixml-toplas.pdf

сейчас насчет рекордов еще подумаю

пасиба

А есть ISWIM-наследники с нормальными рекордами вообще?

С модулями проще, пруф-оф-коцепт можно на примере штандард-млей увидеть

А что такое норм рекорды?

есть имплементации с полиморфными рекордами. окамловские объекты - это полиморфные рекорды (со страшным синтаксисом зачем-то)

в hugs есть полиморфные рекорды

есть пурскрипт и урвеб http://blog.ezyang.com/2012/04/how-urweb-records-work-and-what-it-might-mean-for-haskell/

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

ну и есть куча библиотечных реализаций

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

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

У mixml'я есть нерабочий прототип, насколько я знаю

https://github.com/rossberg/mixml?files=1

@upsilon будет жить. Поприветствуем!

в hugs есть полиморфные рекорды

Это? https://www.haskell.org/hugs/pages/hugsman/exts.html#sect7.2

да

Насколько же хугс непривычный

Rec (x::a | r) is the type of a record with an xcomponent of type a. The row variablerrepresents the rest of the row; that is, it represents any other fields in the record apart from x. This syntax---for record type extension---was chosen to mirror the syntax that we have already seen in the examples above for record value extension. The constraint r\x tells us that the type on the right of the => symbol is only valid if "r lacks x," that is, if r is a row that does not contain an x field. If you are already familiar with Haskell type classes, then you may like to think of \x as a kind of class constraint, written with postfix syntax, whose instances are precisely the rows without an x field.

Никто не пробовал пруф-оф-концепт такого в гхц сделать?

можно нубский холиварный вопрос? Stack или Haskell Platform?

Стак

Я даже не уверен, что вопрос достоин холивара

стак говно полное и хуже кабала

но использовать его, наверное

UX там пока более человечный и его больше людей умеют

Haskell Platform это вообще странное что-то

для винды норм было

не было

Рекомендую ставить GHC nix-ом и cabal из исхдников

да ну, все запускалось почеловечески

сравнительно

стек тоже норм стал, но сейчас вроде mingw2 там не обновляют?

nix под виндой печален

платформа на винде не могла даже нетворк сбилдить

nix под виндой печален

Под Виндой нет рекомендаций

Я под NixOS

ну я года 4 назад использовал, было норм HaskellR собирало

и проекты с ним

Надо по-другому было сказать GHC системным пакетным менеджером, cabal из исходников

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

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

> GHC системным пакетным менеджером работающий совет для никсос и генты только, нет?

в остальных случаях с оговорками уже

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

ну я про то что это не системным пакетным менеджером

это да

а то можно в Арч попасть ненароком

или убунту без ppa

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

и не потому что появилось что-то лучше для начинающих

в кабал-инстале прикольные фичи

ERROR: S client not available

надо ещё сделать wrapper убирающий new, и по stack.yaml генерирующему проект

я правда не знаю что там с installом

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

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

без них все обнозначнее

что есть ленгвидж костыль?

ghc-mod intero hie и т.д.

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

можно нубский холиварный вопрос? Stack или Haskell Platform?

https://github.com/Gabriel439/haskell-nix

жаль, что я не начинающий, столько хороших советов ото всех!

можно нубский холиварный вопрос? Stack или Haskell Platform?

https://www.youtube.com/watch?v=ZJvHOpMnvpE

Hi folks

надо ещё сделать wrapper убирающий new, и по stack.yaml генерирующему проект

Второе уже сделано https://github.com/edsko/stack2cabal

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

Второе уже сделано https://github.com/edsko/stack2cabal

отлично

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

retry

danke schön

привет

подскажите как правильно огранизовать работу с эксепшенами в таком коде botLoop :: LogIO m => ConduitChannel -> BrainCells -> m () botLoop chan cells = do (event, pushback) <- liftIO $ readChan chan liftIO $ async (do response <- processRequest cells event writeChan pushback response) botLoop chan cells

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

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

async будет форвардить только если будет wait

это я понимаю

но я не очень понимаю, как сделать wait, чтобы ничего не блокировать

бери forkFinally и для Left делай throwTo e myThreadId

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

вот такое гуглится https://github.com/tanimoto/circuit-breaker

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

https://hackage.haskell.org/package/glue-core-0.5/docs/Glue-CircuitBreaker.html

увеличения таймаутов нет ни в одном из них

но вообще это называется circuit breaker

ну retry умеет exponentialBackoff

вроде

в любом случае - спасибо :)