Телеграмм чат группы purescript

Size: a a a

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

2018 December 27

ЗП

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

elementAt :: forall a. MyInt -> List a -> Maybe a
elementAt = zipCata alg where
  alg :: (MyInt -> List a -> Maybe a) -> NatF MyInt -> ListF a (List a) -> Maybe a
  alg _ ZeroF (ConsF a t) = Just a
  alg f (SuccF n) (ConsF a t) = f n t
  alg _ _ _ = Nothing

источник

17:31пожаловаться

ЗП

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

да

источник

17:31пожаловаться

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

Ну вот и нашлось занятие на вечер

источник

17:32пожаловаться

ЗП

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

из матрешки вернее

источник

17:32пожаловаться

ЗП

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

в матрешке сделано через FD

источник

17:32пожаловаться

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

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

из матрешки вернее

А это кто?

источник

17:32пожаловаться

ЗП

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

пурскриптовая версия RS

источник

17:32пожаловаться

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

вот это https://github.com/slamdata/purescript-matryoshka
я даже это использую у себя (в 2х или 3х местах всего, правда), никогда бы не подумал раньше, что мне может такое пригодится

источник

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

ЗП

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

Vasiliy Yorkin

ну вещь то нужная)

источник

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

ЗП

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

прям то, что я вам рассказывал)
https://twitter.com/Iceland_jack/status/1078141546669707264

Twitter

Iceland_jack

Now that we start with the uncurried version (a, a) -> a it's a simple matter to get its #curry-ied version a -> (a -> a) Now I want you to think, is there a curried version of liftA2 :: Day m m ~> m join :: Compose m m ~> m What would that look like/mean https://t.co/At8UsGYnRr

источник

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

ЗП

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

liftA2 :: Day          m m ~> m
join   :: Compose m m ~> m

источник

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

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

хм, кажется даже я понял, теперь

источник

17:42пожаловаться

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

ок, теперь что-то совсем другое:
когда нужно использовать fork в halogen?
я смотрю Томас постоянно им пользуется в halogen-realworld
https://pursuit.purescript.org/packages/purescript-halogen/3.1.3/docs/Halogen.Query.ForkF#v:fork

источник

17:42пожаловаться

ЗП

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

https://twitter.com/Iceland_jack/status/1078130266290425856

Twitter

Iceland_jack

assume a Functor m constraint

источник

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

ЗП

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

Vasiliy Yorkin

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

источник

17:44пожаловаться

ЗП

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

это я ща про хаскель

источник

17:44пожаловаться

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

да, ну я догадываюсь, но по этой ф-ции не могу совсем ничего сказать, смотря на неё
интересно, где она реально выполняется
в смысле вот эта вот её часть (Error -> Aff eff Unit)

источник

17:44пожаловаться

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

Всё оказалось слишком просто. Вот и думай теперь, что вечером делать

источник

17:48пожаловаться

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

чувак в слаке говорит, что вилка нужна, когда нет ложки

источник

17:49пожаловаться

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

что-то в этом убивает хром, но что конкретно...

источник

17:50пожаловаться