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

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

Польза от них есть - явно разделять эффекты разных видов. Просто как оказалось, гемор перевешивает профит

источник

15:15пожаловаться

ЗП

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

кана

и каждый мутит как хочет лейблы свои

источник

15:15пожаловаться

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

на самом деле в хаскеле (и в скале) сейчас почти все и пишут код как в пурсе с Eff c эффектами

источник

15:16пожаловаться

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

> and different libraries use completely different labels to represent the same or overlapping effects

да, это правда тоже, но принимая это даже, мне очень нравится что всё по полочкам, этот эффект для канваса и консоли, этот для FRP (пусть он может и тоже помечать консольный эффект иногда), может мне даже чуть важнее каких эффектов там нет, а не какие есть

источник

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

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

а так не поймёшь

источник

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

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

один суп из эффектов, солянка

источник

15:18пожаловаться

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

a :: Eff { a :: A | r } Unit
b :: Eff { b :: A | r } Unit
c :: Eff { c :: A | r } Unit
program :: Eff { a :: A, b :: B, c :: C | r } Unit
program = do
  a
  b
  c

a :: MonadA m => m ()
b :: MonadB m => m ()
c :: MonadC m => m ()

program :: (MonadA m, MonadB m, MonadC m) => m ()
program = do
  a
  b
  c

источник

15:18пожаловаться

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

то есть разделять на эффекты все еще можно и так делают и без row

источник

15:18пожаловаться

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

и так даже удобнее будет имхо

источник

15:18пожаловаться

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

проще мокать

источник

15:18пожаловаться

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

final tagless называется

источник

15:19пожаловаться

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

Нашел тут достаточно приятную короткую статейку про применение tagless final, http4s и fs2 на реальном примере, получилось красиво:
http://pavkin.ru/writing-a-simple-telegram-bot-with-tagless-final-http4s-and-fs2/

Vladimir Pavkin

Writing a simple Telegram bot with tagless final, http4s and fs2

Hello all! Recently I’ve started diving in fs2 and http4s. They looked so awesome, that to properly introduce myself I decided to implement something interesting. A bot for Telegram messenger…

источник

15:19пожаловаться

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

Хм, спасибо, почитаю!

источник

15:19пожаловаться

ЗП

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

https://lukajcb.github.io/blog/functional/2018/01/03/optimizing-tagless-final.html