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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
я тоже пока что не очень пойму  как "монадно" делать сложные приложения, сейчас у меня приложение — Eff (Either Err Model) и очень больно в каждой функции API оборачивать эффекты и т.п. (может должно быть Either Err (Eff Model)?). Думал переписать на Expect но не уверен что сильно разгрузит. Универсального подхода к приложениям с ошибкой и эффектами я не нашёл и вот такой кажется довольно разумным.
источник
21:01пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
ExpectT Err Eff Model?
источник
21:02пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
тут же трансформер
источник
21:02пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
ExpectT Err Eff Model?
Да наверное
источник
21:02пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Проблема в том что есть множество функций вида:

... -> ... -> Model -> Eff (Either Err Model)
... -> Model -> Eff (Either Err Model)
... -> ... -> Model -> Eff (Either Err Model)

изредка бывают:

... -> ... -> Model -> Eff (Either Err a)
... -> Model -> Eff (Either Err a)
... -> ... -> Model -> Eff (Either Err a)

хочется уметь все их чейнить, то есть брать модель из предыдущего вызова и, без боли, "распаковывая" или пробрасывая дальше ошибку, отдавать в следующий. Что поможет? do-нотация? Заимплементить <*>?

Здесь пишу Either потому что сейчас так, на Expect только начал менять и параллельно рассматриваю альтернативные подходы
источник
21:25пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
поэтому пока что сделал:

type UI a = Effect (Either MyError a)


и:

uiAp :: forall a b. UI a -> (a -> UI b) -> UI b
uiAp eff f =
    eff >>= either (pure <<< Left) f


и сделал из последней функции оператор, может быть это очень глупо и/или повторяет тот же ContT, но работает.

как раз из-за того что способов слишком много (в каждой статье и примерах которые нахожу — свой), не могу решить какой выбрать.
источник
21:33пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
я не смог понять, речь ведь просто о Monad для Either?
источник
21:43пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
т.е. для таких вещей обычно используют`ExceptT e m a`
источник
21:44пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
https://www.schoolofhaskell.com/school/starting-with-haskell/basics-of-haskell/10_Error_Handling
источник
21:48пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
https://gist.github.com/vyorkin/337f7bd4489b10e152a589673ade0fa8
Gist
either-ex
источник
21:49пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
https://www.schoolofhaskell.com/school/starting-with-haskell/basics-of-haskell/10_Error_Handling
блин, про fail я вообще забыл, спасибо
источник
21:52пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
То есть он там вообще объясняет как придти к этому
источник
21:53пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
т.е. для таких вещей обычно используют`ExceptT e m a`
супер, тогда выход точно в ней 👍
источник
21:53пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
То есть он там вообще объясняет как придти к этому
да, изучу статью, её не читал ещё, вообще до Бартоша ещё не добрался
источник
21:54пожаловаться
2018 August 23

p

parket in PureScript — русскоговорящее сообщество
А как можно расширить синоним для рекорда?

type Foo = { a :: String }
type Bar = { Foo | { b :: String } }
источник
16:19пожаловаться

к

кана in PureScript — русскоговорящее сообщество
type Foo r = { r | a :: String }
type Bar = Foo { b :: String }

как минимум так
источник
16:20пожаловаться

p

parket in PureScript — русскоговорящее сообщество
Так не годится.

Есть синоним для рекорда. Нужен похожий рекорд, но на одно поле больше.
источник
16:20пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
а почему не годится? это вроде именно то, что написано выше
источник
16:27пожаловаться

к

кана in PureScript — русскоговорящее сообщество
мб рекорд из либы
источник
16:27пожаловаться

к

кана in PureScript — русскоговорящее сообщество
если бы был свой, я бы сделал

type Foo' r = { r | a :: String }
type Foo = Foo' {}

тогда бы код не менялся старый
источник
16:28пожаловаться