Телеграмм чат группы purescript_ru страница 126

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

PureScript — русскоговорящее сообщество

79 membersпожаловаться на группу

2018 November 01

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

хотя чисто для жс, того же browserify с головой хватает

источник

13:34пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

https://github.com/natefaubion/purescript-higher-order

natefaubion/purescript-higher-order

Contribute to natefaubion/purescript-higher-order development by creating an account on GitHub.

А что это, и где использовать, в 2-х словах?

источник

13:34пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

А что это, и где использовать, в 2-х словах?

позже добавлю пример

источник

13:34пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

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

источник

13:35пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

хотя чисто для жс, того же browserify с головой хватает

Я собираю webpack-ом.
Без лоадера.

источник

13:35пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

вот что не круто, то когда тип к чертям сложный, то надо уже даже каинды специализировать
https://github.com/xgrommx/purescript-higher-order/blob/master/src/Higher/Algebra.purs#L13

xgrommx/purescript-higher-order

Contribute to xgrommx/purescript-higher-order development by creating an account on GitHub.

источник

13:36пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество

кстати, на тему популяризации halogen: тут Томас ещё затеял https://github.com/thomashoneyman/purescript-halogen-realworld
думаю, у него должно неплохо получится, судя по предыдущим делам (тот же formless, select, etc – документация и туториалы там очень норм)

thomashoneyman/purescript-halogen-realworld

Exemplary real world application built with PureScript + Halogen - thomashoneyman/purescript-halogen-realworld

источник

13:36пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

иначе эта бадяга не выводима
https://github.com/xgrommx/purescript-higher-order/blob/master/src/Higher/Fold.purs#L28

xgrommx/purescript-higher-order

Contribute to xgrommx/purescript-higher-order development by creating an account on GitHub.

источник

13:36пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

если честно, то на этот hparaM я норм времени потратил) где-то мин 30

источник

13:37пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

если кому надо могу запилить примеры, как юзать cataM/paraM для тайпчекинга

источник

13:38пожаловаться

p

parket in PureScript — русскоговорящее сообщество

А где бы теорию для начала почитать. Я не настолько глубоко понимаю.

источник

13:39пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

одно время мы с @savage42 занимались

источник

13:39пожаловаться

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество

Кстати, кто что использует для dev сервера?

источник

13:39пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество

я начинал читать про рекурсивные схемы отсюда https://blog.sumtypeofway.com/an-introduction-to-recursion-schemes/
ну и да, мне помогали :)

Adventures in Uncertainty

An Introduction to Recursion Schemes

In 1991, Erik Meijer, Maarten Fokkinga, and Ross Paterson published their
now-classic paper Functional Programming with Bananas, Lenses, Envelopes and
Barbed Wire [https://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf].
Though this paper isn’t widely known outside of the functional programming
community, its contributions are astonishing: the authors use category theory to
express a set of simple, composable combinators, called recursion schemes, that
automate the process of traversin

источник

13:39пожаловаться

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество

Что-то pulp server нихрена не работает

источник

13:39пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

книгу Вармо можно еще

источник

13:40пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

но там нет про эти HRecursionSchemes

источник

13:40пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

кстати <*> для HApplicative не написать)

источник

13:41пожаловаться

p

parket in PureScript — русскоговорящее сообщество

Ryner :: () -> IO ❄️

Что-то pulp server нихрена не работает

У меня работал. Я netcat-ом его трогал. Но я не привык к IDE, и мне он не особо нужен.

источник

13:41пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

кстати в Минске постараюсь рассказать про eadt (на примере пурсы)

источник

13:43пожаловаться