НАКАНЕЦТА

ФП ПАРАША УСТАРЕЛА

ПОНЕЛИ ДА?

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

ВАШИ ПАРАДИГМЫ КАК ФРЕЙМВОРКИ НА ЖС

УСТАРЕВАЮТ КАЖДЫЕ 50 ЛЕТ

ДАЖЕ НЕ УСПЕВАЮ ИХ ВЫУЧИТЬ

к счастью здесь нет насчелдования хоть и есть слово класс с полиморфизмом беда похоже. ну или нужно посмотреть на сигнатуру мапа/фмапа

я чет нажал, он сразу сломался с красной ошибкой в хаскеле

и все

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

http://telegra.ph/Pravila-FRP-chata-12-11

скажите что особо плохо сформулировал/чего не хватает

так лол

фп - нежелаемая тут тема

эм

вроде норм

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

+

скажите что особо плохо сформулировал/чего не хватает

Будто уголовный кодекс прочёл

ок

http://telegra.ph/Pravila-FRP-chata-12-11

так, лол

Также особо допустимым считается обсуждение Лиц имеющих важное значение для РП, а также функционального программирования (за исключением сферы рекурсивных схем) и аниме (Определение 3.). мной читается как "лиц для рп, лиц для фп, лиц за аниме

да блин

я специально добавил а также

а теперь?

А давно этот чатик зохвачен анимешниками?

так фп же

да программирование в целом

так фп же

а эта ересь тут с каких пор?

Падажжи

Ты типы в правилах объявил?

типы?

так, а тупые вопросы здесь можно задавать?

А стримы где?

так, а тупые вопросы здесь можно задавать?

да

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

Монад нет, не буду читать

ват

там ввести комбинаторы построения правил

чуть подкорректировал

ура! я хочу в purescript создать сигнал, который ничего не делает, а потом к нему примёржиться. как это правильно делать?

это же Monoid, я правильно понимаю?

что за либа?

ну вообще да, если есть нейтральный элемент, это моноид

https://pursuit.purescript.org/packages/purescript-signal/9.0.0/docs/Signal эта вот

не могу сообразить, есть только константный

но тут нет инстанса сигнала-моноида

есть сигнал с моноидом только

в исходниках есть

а

есть разница?

чёрт

ну типа пусть data Signal a = Signal [a] пустой сигнал это Signal [] сигнал с пустым моноидом это например Signal [""] для Signal String

сигнал или стрим это же корекурсия

так блэт

сигнал в принципе может быть пустым?

не

ну вот

вот может быть нет

он может быть полугруппой

но не моноидом

еще добавил краткое описание правил

а))

ERROR: S client not available

а в мейби его можно завернуть? :)

там так и есть Semigroup

только глянул в код

потом спрошу андрея

хотя

наверное у тебя что-то типа data Message = NoOp | Inc | Dec | Banch [Message] Monoid Message mempty = NoOp NoOp <> x = x x <> NoOp = x x <> y = Banch [x, y]

если он сразу завершается то может быть и empty

и да

в общем если конткретнее, то у меня есть тип: data N a = N { a :: Array (Signal a)} (Signal a) — то есть есть общий стрим (последний), и дочерние. они в результате все смёржатся в один, но хочется их хранить отдельно

из всего что у пурсы есть

это самое лучшее https://github.com/paf31/purescript-behaviors

и мне не очень понятно как сделать инстанс (в смысле "инстанс типа") сигнала, типа как написать createN :: forall a. <params> -> N a

или вообще смысле хранить те стримы нет?

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

наверное у тебя что-то типа data Message = NoOp | Inc | Dec | Banch [Message] Monoid Message mempty = NoOp NoOp <> x = x x <> NoOp = x x <> y = Banch [x, y]

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

пока такого нет, но сейчас введу :)

не, то что я выше написал это хуйня какая-то

ну вот

можно Maybe Message хранить)

но сигнал типа универсальный, поэтому надо какую-то обёртку. можно в принципе что-то типа Bang слать из Signal.constant.

поэтому в NoOp есть смысл, думаю

ну или Мейби да

спасибо!

Я всё правильно понимаю? purescript юзает bower как pm? o.0

да я в теме не шарю, может хрень тебе какую-то посоветовал

в большинстве своем да, bower

Я всё правильно понимаю? purescript юзает bower как pm? o.0

да

вроде как какой-то свой пилился

=/

psc-package

Но да, я даже и подумать не мог, что в 2017 буду юзать бовер, лол

да я в теме не шарю, может хрень тебе какую-то посоветовал

я не шарю в теоркате пока что, так что мне хрень вполне подходит для вдохновения и углублубления :)