Size: a a a

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

2018 August 04

ЗП

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

ЗП

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

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
выглядит круто, спасибо, попробую!
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
надо только на 0.12 переехать :)
источник

AK

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

ЗП

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

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
так я же тут скинул ссылку на доку на хакедж
не увидел без превью, прошу прощения
источник
2018 August 06

YL

Yura Lazarev in PureScript — русскоговорящее сообщество
есть ещё purescrip-density-codensity
источник

YL

Yura Lazarev in PureScript — русскоговорящее сообщество
я его использую вместе с Aff.bracket и получается что-то типа managed
источник

YL

Yura Lazarev in PureScript — русскоговорящее сообщество
driver :: BrowserStackCredentials -> Codensity Aff Driver
driver creds = Codensity \cb -> bracket init Selenium.quit cb
 where
 init = build
   $  withCapabilities (capabilities creds)
   *> usingServer "http://hub-cloud.browserstack.com/wd/hub"
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Yura Lazarev
я его использую вместе с Aff.bracket и получается что-то типа managed
у как бы MonadEffect e => Codensity e ~ Managed
источник

YL

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

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
density - бесплатная комонада
codensity - бесплатная монада
и вообще есть пейпер как codensity оптимизирует фри монаду (метод называется improve)
но в пурсе и так фри монада больше уже как фриер
потому что применены все оптимизации от Киселева
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Yura Lazarev
driver :: BrowserStackCredentials -> Codensity Aff Driver
driver creds = Codensity \cb -> bracket init Selenium.quit cb
 where
 init = build
   $  withCapabilities (capabilities creds)
   *> usingServer "http://hub-cloud.browserstack.com/wd/hub"
попробуй managed :D
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
вот пример на хаскеле
managedActions' :: Managed ()
managedActions' = do
 input <- managed (withFile "src/input.txt" ReadMode)
 output <- managed (withFile "src/output2.txt" WriteMode)
 contents <- liftIO $ hGetContents input
 liftIO $ hPutStr output contents

managedActions :: Codensity IO ()
managedActions = do
 input <- Codensity $ withFile "src/input.txt" ReadMode
 output <- Codensity $ withFile "src/output.txt" WriteMode
 contents <- liftIO $ hGetContents input
 liftIO $ hPutStr output contents
 

 
main :: IO ()
main = do
 lowerCodensity managedActions
 runManaged managedActions'


как видно они изоморфны
источник

YL

Yura Lazarev in PureScript — русскоговорящее сообщество
в хаскеле я как раз пользовался managed
источник

YL

Yura Lazarev in PureScript — русскоговорящее сообщество
а в PS сразу его не нашёл, но нашёл codensity
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
а вообще все от расширений Кана идет (правое - это обобщение все континюейшн процессов)
https://gist.github.com/xgrommx/38f64c2f5cdcaae98b1086ffad6dd824#file-kan-purs-L18
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Yura Lazarev
а в PS сразу его не нашёл, но нашёл codensity
уже есть) я его начал портировать
источник

YL

Yura Lazarev in PureScript — русскоговорящее сообщество
теперь можно и в PS пользоваться managed - и это радует
источник