ghcjs за ∞+

дарт в зашкваре, на нём епам пишет

дарт в зашкваре, на нём епам пишет

лол

или кто-то из подишопов, не помню

ну понятно епам только на конченных языках пишет

дарт в зашкваре, на нём епам пишет

епам - это диагноз)

епам - это диагноз)

^ можете ему верить

так по гарри-ховарду же всё

дженералайзед в частности

ну это очевидно многим и так уже, просто я решил об этом написать)

вообще 13,14,15 глава книги Beginning Haskell очень топ! там и про GADTs, Idris, Type Family и много еще чего

реально странное утверждение

средство введения аксиом исключительно для области логики из кари-хорварда

как бы статейку находил я https://www.iis.sinica.edu.tw/~scm/tag/gadt/

вообще 13,14,15 глава книги Beginning Haskell очень топ! там и про GADTs, Idris, Type Family и много еще чего

Даже оригами и TH затронули, норм

Даже оригами и TH затронули, норм

там много чего крутого) и чутка про фри монады

лол

что? Beginning Haskell?

в книге про хаскель про идрис

в книге про хаскель про идрис

ну да) там DT моделируется на всяких TF, FD и прочим

на ~

в хаскель-лёрн за такую книгу забанили бы

а также там про аттрибутивные грамматики

в хаскель-лёрн за такую книгу забанили бы

То, к чему я и вёл, начиная срачик недельной давности

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

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

а как монадку тогда им объяснить без них?)

как генерализацию concatmap

)))))))))))))

через бурито

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

сокральный смысл императивных конструкций)

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

а лучше просто читать Холомьева книгу) http://anton-k.github.io/ru-haskell-book/book/6.html

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

или алгебраические эффекты

пурса Array | List хаскелл Vector | [] так?

кстати, gis норм

пурса Array | List хаскелл Vector | [] так?

да

ну почти

кстати, gis норм

gis?

ghost in the shell

коненчо норм

оу! https://www.stackage.org/lts-9.18/package/extensible-0.4.6

@kana_sama ^

ебана

кстати, gis норм

фильм или анима?

анима

во всех либах что я видел для эффектов эффекты хендлятся по одному

то есть один раннер проходит по всем командам и на каждой команде смотрит, подходит ему тип команды или нет, если нет - пропускает (мапает собой результат, который еще не посчитан), если да - выполняет и идет дальше. И так N раннеров я тут подумал, а что если найти способ сфьюзить сразу несколько раннеров, то есть чтобы мы во время пробега сразу роутились на нужный раннер

по идее это как-то возможно через typeable

а может как-то линзами по примеру с фри монадами https://qfpl.io/posts/optimising-free-with-plated/

а может как-то линзами по примеру с фри монадами https://qfpl.io/posts/optimising-free-with-plated/

Ты вообще вкладки в браузере закрываешь?

Ты вообще вкладки в браузере закрываешь?

в плане?

@kana_sama кстати вспомнил вот еще https://hackage.haskell.org/package/effect-monad

анима

сериал или полнометражка

сериал или полнометражка

ноу вэй

/stat@combot

combot.org/chat/-1001071213089

воу

ого 41%

поднимаемся

ERROR: S client not available

))

а я хз где в том списке)

4 место

ну)

лол

ват

https://github.com/jameshaydon/idris-graphql

https://github.com/fumieval/extensible-benchmarks

о))) как надо эффекты делать https://github.com/safareli/purescript-ef/blob/init/src/Control/Monad/Ff.js

зато это быстро работает, наверное)

зато это быстро работает, наверное)

https://github.com/safareli/purescript-ef/pull/1#issuecomment-351236635

Ну этот чел долго шёл к этому модулю кода)

Сначала пытался сделать что-то в рамках fantasy-land и ramda- тусовки, потом делал самую продвинутую реализацию Free на жс, которую я сейчас бессовестно копирую, а потом захантили на пурсу и короч пошло поехало

У него на гитхабе вообще прям тонна модулей для пурсы

Сначала пытался сделать что-то в рамках fantasy-land и ramda- тусовки, потом делал самую продвинутую реализацию Free на жс, которую я сейчас бессовестно копирую, а потом захантили на пурсу и короч пошло поехало

он ее просто скопировал с хаскелл

Ну и ты скопируй

отсюда https://github.com/srijs/haskell-free-concurrent/blob/1a56280e8d63e037cf8f9e57aa17ac6a8ac817a5/src/Control/Concurrent/Free.hs

если ты про https://github.com/safareli/free

Но чет больше либ по фри монадам я не наблюдаю, есть маза что там всё не так просто как кажется

да ладно?)

вот тут по free поищи https://github.com/xgrommx/awesome-functional-programming#javascript

Я всё это видел

много у него либ https://github.com/safareli?utf8=%E2%9C%93&tab=repositories&q=&type=source&language=purescript

Сафарелли, уг от булеана (ну реально ни о чём), тот-самый-основатель-fantasy-land, абстрактная невнятная калька от автора optics и возможно ещё несколько рандомных челов

Я их перечисляю не глядя уже

много у него либ https://github.com/safareli?utf8=%E2%9C%93&tab=repositories&q=&type=source&language=purescript

Он контрибьютит, ты зря форки выключил

первая попавшаяся https://github.com/safareli/purescript-free/commits/master?before=0e8a64dfad68996dd04da258db5050c71ad902e9+35

https://github.com/safareli/purescript-free/commit/551c748971a8108e1e134b3eefdb267c8bf1cfb5

ну идея же таже) () -> unit и есть каркас ленивости https://github.com/safareli/purescript-free/commit/830d139aa29f5396a448724da0c57573f255ee92#diff-16e84501b57601b426d1bf02025ac065R21

Между идеей и рабочей либой есть небольшой промежуток