про ответ на вопрос пока думаю

много уровней одного типа это как раз важно, так как я newtype не делаю

может конечно надо делать

т.к. с mtl начинаются извращения типа mtl-classes, ether, layers которые в разной степени не работают

а с mtl я смогу делать полиморфный state, кстати?

lift2 = lift . lift -- Есть do elem:elems <- lift2 get lift2 $ put elems return elem -- Хочу что то вроде lift2 $ state $ head &&& tail -- Но в первом варианте за счет MonadPlus паттерн-матчинг -- давал mempty для [], а тут очевидно exception Есть какие то способы написать код в стиле второго варианта?

а тут точно из-за monadplus?

ну то есть тут точно не будет ошибки?

там матчинг во внешней монаде

видимо с разумный fail

там стэк MaybeT ReaderT StateT

а ок

в случай 2 матчинг внутри State

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

я бы просто использовал uncons

+ какую-то ещё магию делающую ответ разумным

просто тебе хочется фишек разных уровней

сделал lift2 get >>= (guard . not . null) >> lift2 (state $ head &&& tail) в итоге

эффекты такое обещают

но не знаю сделают ли

магии чет много выходит

чтобы из maybe сделать maybeT

остановлюсь на варианте с гвардом наверно

если чувствуешь что много магии - пишешь самый тупой бойлерплейт

или может быть какую то стрелку чтобы state и get не смешивать, но имхо это ожидаемое

ну тупой это с do-нотацией

пьешь чай возвращаешься и смотришь нет ли очевидных упрощений

import Control.Monad.State import Control.Monad.Trans.Maybe uncons :: [a] -> Maybe (a, [a]) uncons (x:xs) = Just (x, xs) uncons [] = Nothing tryState :: (MonadPlus m, MonadState s m) => (s -> Maybe (a, s)) -> m a tryState f = do Just (result, state') <- gets f put state' pure result program :: MaybeT (State [Int]) Int program = tryState uncons main :: IO () main = do print $ flip runState [1, 2, 3] $ runMaybeT program print $ flip runState [] $ runMaybeT program ну общего решения не вижу

какой кстати нейминг можете посоветовать для таких функций?

вроде общепринятого нету

почему в lens у view ограничение на Lens' a a?

я давно увидел, но все забыл спрашивать, но в своей реализации делает спокойно: view :: Optic (->) (K a) s t a b -> (s -> a) view lens = getK . lens K а вот в lens это иногда мешало

что я упускаю? Сделано это для более крутых линз?

Все доброго времени суток. Хочу узнать про фреймворки под GHCJS и прочие полезности. Кто каким опытом может поделится?

легко могу ошибаться, но где-то читал, что вот эта самая рабочая либа: https://hackage.haskell.org/package/fay а, интересует именно GHCjs?

легко могу ошибаться, но где-то читал, что вот эта самая рабочая либа: https://hackage.haskell.org/package/fay а, интересует именно GHCjs?

я бы так смело не стал утверждать

я бы так смело не стал утверждать

читал. Не мой мотороллер ?

Все доброго времени суток. Хочу узнать про фреймворки под GHCJS и прочие полезности. Кто каким опытом может поделится?

только reflex

ну и miso

но тогда хз зачем такие ограничения на трансформерс, когда есть полимфорный в mtl

что за полиморфный lift в mtl?

да фиг его знает, мне уже кажется я что-то путаю

но как с liftIO, который из любого MonadIO работает

Все доброго времени суток. Хочу узнать про фреймворки под GHCJS и прочие полезности. Кто каким опытом может поделится?

а он ещё окончательно не сдох? Теоретически reflex самый внятный был, ещё miso был, на прошлом fpconf даж доклад был

ой, блин, уже такое написано

но как с liftIO, который из любого MonadIO работает

Ну liftIO нужен, потому что в IO дофига что можно сделать, и это дофига в MonadIO не засунешь (как методы класса).

У остальных монад лифтинг сразу зашит в методы класса (MonadState, MonadReader...)

да-да, это я знаю

было у меня какое-то воспоминание, что lift как-то сам тоже ищет

и по моему сейчас это реально написать даже

Как-то хугл нездорово историю браузера засирает

Там фича, что по мере набора результаты показываются сразу, но неужели в 2018 это должно работать так

в мтл лифт в общем то не нужен

@dkltd будет жить. Поприветствуем!

Там фича, что по мере набора результаты показываются сразу, но неужели в 2018 это должно работать так

кошмар

в Google-то не так

ERROR: S client not available

значит можно нормально сделать

просто кто-то не осилил

(или в Google так же?)

в Google-то не так

а в гугл отказались от этой фичи

Ох

а как там у нас флаги линкеру добавлялись в кабале?

-optl в ghc-options?

вроде да

уже на 2 поста тем набралось :/

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

предполагая что если они проходят в A и в B то пройдут в любом A < C < B

Вот да, какой ещё lift в mtl? Там без лифта всё работает. А lift, это MonadTrans из transformers

"Transformers, robots in disguise" (простите)

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

https://hackage.haskell.org/package/dependency пишет, что ещё не полностью работает не пробовал

мне кажется это немного не то

особенно учитывая что у ней CLI нет

я не видел работающей версии

вообще неплохо бы вокруг хакаджа такой сделать

@maximkorolev будет жить. Поприветствуем!

Там где комбинаторы строят парсер и принтер одновременно.

Не то чтобы сильно новое, но вдруг пригодится http://www.mathematik.uni-marburg.de/~rendel/rendel10invertible.pdf http://hackage.haskell.org/package/partial-isomorphisms http://hackage.haskell.org/package/invertible-syntax

Джентельмены, я сейчас играюсь с сервантом, у меня есть вот такая функция searchBook :: Monad m => Maybe Text -> m (Search Book) Как мне протестить эту функцию в GHCi? Я пишу searchBook (Just $ T.pack "the") , но мне возвращается как я понимаю thunk и я не вижу результата. Если я где-то неправ поправьте меня пожалуйста и скажите как увидеть результат

searchBook (Just $ T.pack "the") :: IO (Search Book) ?

Можно Identity вместо IO, но его нужно импортировать

@fpoop будет жить. Поприветствуем!

searchBook (Just $ T.pack "the") :: IO (Search Book) ?

Все равно GHCi не делает никакого вывода

хм

Я разобрался!