asum [ guard fizz >> return "fizz", guard buzz >> return "buzz", show x] x

задача угодать Alternative

?

Гарды вызывают терминус?

terminus FTW

не так себе шрифт

:s/FTW/FTtty/g

asum [ guard fizz >> return "fizz", guard buzz >> return "buzz", show x] x

guard из MonadPlus?

да

(я не пытался компилять, но навеняка такой есть)

та есть)

подсветка для пидоров (c) Роб Пайк

подсветка для пидоров (c) Роб Пайк

^

polyPlus fs [] = fs polyPlus [] gs = gs polyPlus (f:fs) (g:gs) = f+g : polyPlus fs gs

готовы к апоморфизму?)

по сути это zapWith

* * * zap * * *

это как zipWith только работает с разными длинами

polyPlus' :: Num a => [a] -> [a] -> [a] polyPlus' = curry $ apo coalg where coalg :: Num a => ([a], [a]) -> ListF a (Either [a] ([a], [a])) coalg = \case ([], []) -> Nil ([], x:xs) -> Cons x $ Left xs (x:xs, []) -> Cons x $ Left xs (a:as, b:bs) -> Cons (a + b) $ Right (as, bs)

норм

а почему ([a],[a]) а не Either [a] [a]?

го теперь в категории элгот коалгебры

кстати у нас в жуйке была игра в эффективный zip такой

решения через co-алгебры не было

а почему ([a],[a]) а не Either [a] [a]?

ну потому что это же развертка a -> F a

это же коалгебра

решения через co-алгебры не было

это zapWith, zip можно и через cata и ana

zapWith :: (a -> a -> a) -> [a] -> [a] -> [a] zapWith f = curry $ apo coalg where coalg = \case ([], []) -> Nil ([], x:xs) -> Cons x $ Left xs (x:xs, []) -> Cons x $ Left xs (a:as, b:bs) -> Cons (f a b) $ Right (as, bs)

zipWith' :: (a -> b -> c) -> [a] -> [b] -> [c] zipWith' f = curry . ana $ \case ([], _) -> Nil (_, []) -> Nil (a:as, b:bs) -> Cons (f a b) (as, bs)

решения через co-алгебры не было

я сначала пытался сделать через ana но потом вспомнил что это не работает с полупустыми структурами и не может прерываться

еще один из примеров вотhttps://stackoverflow.com/questions/42240809/unfolding-non-empty-structures-to-lists

остановился на таком, если дальше пытаться делать поинтфри то очень некрасиво получается

остановился на таком, если дальше пытаться делать поинтфри то очень некрасиво получается

тебе же показали идею с альтернативой

🤔 какую

https://haskellweekly.news/surveys/2017.html

asum [ guard fizz >> return "fizz", guard buzz >> return "buzz", show x] x

^

так я так и делаю же..

остановился на таком, если дальше пытаться делать поинтфри то очень некрасиво получается

pick = (<&>) cases >>> asum . flip id & liftM2 fromMaybe show

хм

а еще можно заюзать &

который flip ($) ?

ага

pick = (<&>) cases >>> asum . flip id & liftM2 fromMaybe show

не хуглится (<&>)

Развей дедукцию

не хуглится (<&>)

это из линз

а да

флипнутый fmap

а да

а это твой liftM2(&&) https://www.stackage.org/haddock/lts-9.11/extra-1.5.3/Control-Monad-Extra.html#v:-38--38--94-

у haddock новый дизайн?

?

Это просто stackage, а не hackage.

сложно

Там хугл нормальный

у стакана ужасный дизайн..

меня шрифты в основном смущают

на маке ок

я просто юзаю https://chrome.google.com/webstore/detail/font-changer-with-google/jgjhhoglgjdklldfgoffdiaceffijeke

и для каждого сайта можно свой шрифт настроить

Там хугл нормальный

по либам ищет?

стек?

да ищет

по либам ищет?

всмысле. как ещё там есть тема что есть хугл поновее

ну обычный хугл не ищет ведь

или плохо ищет?

пытаюсь найти контрпример по линзам полугруппам и чёт не могу ну я всегда думал что там просто маленькая база и устаревший хугл

просто проверил

🤔

лол

sojalei@DESKTOP-512AVGB:~/haskell/project$ stack setup Preparing to install GHC to an isolated location. This will not interfere with any system-level installation. Already downloaded. Installing GHC ... и так висит

ну как бе когда я ставлю ghcjs это оооочень долго

стак даже обычный ghc долго ставит

хщ что он с ним делает

/me а у нас уже серьезно задумываются а не начать ли cabal new-build использовать хотя бы понемногу

sojalei@DESKTOP-512AVGB:~/haskell/project$ stack setup Preparing to install GHC to an isolated location. This will not interfere with any system-level installation. Already downloaded. Installing GHC ... и так висит

это WSL?

похоже на то, на WSL он действительно висит

ставь никсом