Сейчас посмотрел видео, где чувак объясняет, что монада это просто любой функтор, который может делать flatMap. Т.е., принимать другие функторы, и возвращать их значение. https://youtu.be/cB0vpg9-YMQ Это на случай если тут будут в очередной раз вопросы про монады задаваться.

я бы этого вообще не слушал

я бы этого вообще не слушал

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

Это и приводит, в итоге, к тому, что они сами вынуждены писать на JS вместо чего-то нормального ) Ибо "мир хаскеля" в итоге так и остается не понят миром и рынком.

https://hackernoon.com/make-the-leap-from-javascript-to-purescript-5b35b1c06fef

блин, я не знал что в телеграф можно логиниться ?

блин, я не знал что в телеграф можно логиниться ?

нда я тож не так давно узнал Сильно удивлен был

?

?

@telegraph

Посмотрел сейчас на hh число вакансий по pureScript )

сколько?

0

)))

Если ещё учесть то, что за ним не стоит никакая Мегакорпорация, то в будущее его верится ещё меньше чем, скажем, в dart

Который одно время тоже активно пиарили

гугл уже забил на него

гугл не забил на него

у гугла много кодовой базы на нем внутри

просто дарт наружу что-то перестали пиарить

И это гугл. А кто стоит за pureScript? Небольшое сообщество гиков, которое варится в собственном изолированном ото всех мирке.

кстати, flutter (аналог React Native) на дарте

В основном ищут не вакансии по языку/технологии, а приходят и делают новый проект на правильном стеке (правильность, естественно, нужно доказать)

Folks, есть вопрос. Изучаю хаскель уже пару лет, знаком с лямбда-исчислением, поверхностно с теоркатом (только вчера доперло до меня, как работают ко- и про- функторы), есть пару проектов на кложе в проде, Elm юзал для пета, нет ни проекта на js бещ рамды и так далее. Но вот сам по себе хаскель в проде никогда не использовал. И даже в петах, ничего такого, что можно было бы хотя бы на гитхаб выложить. Хочу написать что-нибудь на нем, не сильно крупное, но законченное и полезное. Какой-нибудь системный демон, тулзу, но нет никаких идей. Может кто помочь с идеями?

yaml парсер

Компилятор

идриса

В malbolge

С парсерами уже имел дело, писал json-парсер на parsec.

yaml сложнее

С парсерами уже имел дело, писал json-парсер на parsec.

зачем? если есть аесон

То было на элме, там выбора нет

кстати я понял прикольную штуку) newtype MyParser a = MyParser { runParser :: Coalgebra (ListF a) String }

Интерпретатор схемы тоже писал (почти). С идрисом знаком, но тоже без практического опыта. Но язык вызвал ощущение сырости, писать на нем желания нет

Но спасибо за идею с ямлом, опробую на нем aeсон

для ямла свой вариант есть

А, стоп, нет, с аесоном откат

Это же парсер джонса готовый)

зачем? если есть аесон

Для пробы написания парсеров на хачкеле

Я думал, тебе именно парсек не понравился

ну есть мегапарсек

или аттопарсек

Ага, посмотрел на аву группы, это походу именно js-фп, а не просто фп

Так что вопрос мимо, походу

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

ну и коалгебрами)

да не мимо, тут все подряд обсуждают вроде

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

@haskellru

никак на маке не могу норм завести рефлекс с stack, ghcjs, ghc8

никак на маке не могу норм завести рефлекс с stack, ghcjs, ghc8

++

ща буду через докер

но это бля лучше монолитного говна с реактом

Я вроде завёл но repl сильно не хватало

он тяжко стартует с ghc8

В чём именно проблема?

просто падает

там же этот reflex-platform

а там nixos

а вот без этого никсос хочется

вот хочу по этому завести

https://github.com/hexresearch/reflex-material-bootstrap#ghcjs-configuration

под этими всеми Dynamic кроется старый добрый FRP

кстати тут тоже норм https://github.com/hansroland/reflex-dom-inbits/blob/master/tutorial.md

но вот только почему на маке это дерьмо не заводится?

Еее, а вот и нормальные Either походу завезли https://github.com/funfix/funfix

Кто-нибудь обучите нейросеть на переписке Зигохистроморфного

ERROR: S client not available

?

End и Hom, как я понимаю, есть множества

но то, что в скобках, это что-то вроде параметров, джейнериков, верно?

ну в малой категории да

End и Hom, как я понимаю, есть множества

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

Ну да, это категории)

Суть вопроса от этого не изменилась

ну в малой категории да

спасибо

ту выходит что у морфизма домен и кодомен (начальный и конечный объект) совпадает и получается эндоморфизм

ага, то есть в морфизме f: A -> B A - домен, B - кодомен. И если A == B, то это эндоморфизм

типа того

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

Еее, а вот и нормальные Either походу завезли https://github.com/funfix/funfix

И где там хоть слово про fantasy land?

2.0! https://github.com/origamitower/folktale/releases

Но они правда по-прежнему в experimental по-отношению с fantasy land, как и говорилось позавчера. http://folktale.origamitower.com/api/v2.0.0/en/folktale.html#cat-fantasy-land

а что такое фантази ленд?

https://github.com/fantasyland/fantasy-land

ну это я знаю но нафига этот велосипед?

чтобы все фп-либы предоставляли однообразный интерфейс

https://wiki.haskell.org/Typeclassopedia

иии?

просто хватит выебываться и придумывать то, уже придумано

эээээм

а кто придумывает?

все эти фл и все такое

FL - это спецификация, обеспечивающая ОДИНАКОВУЮ работу с любыми (например) монадами из любых FL-совместимых библиотек

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

напомню, что в JS, в отличие от Haskell, нет готовенького тайпкласса Monad в стандартной библиотеке, а когда каждый пилит как хочет, получается как с Promise

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

да хотя бы даже разные могут быть имена у методов

стоит только соблюдать законы