скорее всего

а не что-то, наоборот действующее

мне казалось что хиломорфизм это грубо говоря unstream.stream

а хотя оно и есть

только типы слева и справа разные

ну есть еще метаморфизм это обратный к хиломорфизму

в общем какая разница если код писать : ]

если библиотеку с красивым интерфейсом, то да

)) ну hylo = cata . ana а meta = ana . cata

и как мне это поможет

если я с самого начала сказал, что мне нужно unstreamM (...next..)?

ещё до того как начал api смотреть

вопрос же в этих самых ana и cata которые надо написать

во в Vector.Stream все превратилось в 3 строки

о блин, а дальше там повозиться надо будет

там нужно чтобы это PrimMonad было

оно конечно уже выразимо для любой монадки, но все же как-то жестоко

можно глянуть как тут сделано https://hackage.haskell.org/package/streaming-utils-0.1.4.7/docs/src/Streaming-Pipes.html

из Stream -> Pipe

это то не проблема

streamToVectorStream :: Monad m => Stream.Stream (Stream.Of a) m () -> V.Stream m a streamToVectorStream = V.unfoldrM go where go str = do eresult <- Stream.next str case eresult of Left () -> pure Nothing Right (a,s') -> pure $ Just (a, s')

а вот Vector.Stream -> Vector пока вызвыает вопросы

в общем случае

vectorStreamToVector :: (GM.MVector v a) => V.Stream IO a -> m (v (PrimState m) a) vectorStreamToVector s = VMut.munstream bndl where bndl = Bundle.fromStream s 32 mvectorToVector :: (V.Vector v a) => G.Mutable v (PrimState m) a -> m (v a) mvectorToVector = G.unsafeFreeze

собралось

блин предыдущая версия собралась ну ладно

non-injectivity FTW

все наспамил можно и спать идти

\o/

\o/

поверю что раз скомилялось то работает, а то добавлять PrimMonad инстанс уже не хочется

Почему это должно быть на hackage hackage.haskell.org/package/acme-io-0.1.0.1/docs/src/System-IO-Unsafe-Really-IMeanIt.html hackage.haskell.org/package/acme-microwave hackage.haskell.org/package/acme-timemachine

Лол.

https://hackage.haskell.org/package/acme-flipping-tables-0/docs/Acme-Error.html

ещё можно вспомнить

https://hackage.haskell.org/package/acme-missiles-0.3/docs/src/Acme-Missiles.html

в acme-everything уже все есть зато

нужно 2.0

такое ощущение, что stack сам тоже пытается парсить конфиг проекта и падает на этом а cabal build норм (за исключением того что уже hspec не может скачать)

раньше стек зависел от какого-то кабала, но мне казалось что какое-то время назад Снойман твитил что портировали на 2.0

конечно, stack читает кабалфайл с помощью библиотеки Cabal

и текущий стабильный stack собран с Cabal < 2

ясно, спасибо

раньше стек зависел от какого-то кабала, но мне казалось что какое-то время назад Снойман твитил что портировали на 2.0

возможно, в мастере поддержка есть, но в релизах пока нет

ясно я не следил..

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

он клёвый, не считая убогого интерфейса и то что hspec-discover (который я не использую) поломали

хотя в релизе stack 1.5.1 написано, что они как-то научились ограниченно парсить кабалфайлы 2 версии и не падать, но настоящей поддержки нет

хм.. может они не Cabal-лом парсят?

было бы очень странно

наверное, ленивости где-то добавили

хм.. в кабале так и не запилили common fields

в каком-то виде похоже :/

какая интуиция у профункторов?

представляю его как обычную -> можно помапить вход и выход

https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/profunctors

ну с -> тривиальный пример

Tagged

это для всего отличный пример

Ааа я понял

это бифунктор контравариантный по первому аргументу

просто книга поменяла буквы и эта интуитивность потерялась

Tagged

А что это такое?

data Tagged a b = Tagged b

я к Tagged пристрастился на GHC 8

помогает DSLи фигачить на TypeApplications

data Tagged a b = Tagged b

Это какой то флипнутый конст

помогает DSLи фигачить на TypeApplications

А можно пример?

https://github.com/typeable/schematic/blob/master/src/Data/Schematic/DSL.hs#L21 вот, например, но я документацию не написал еще, поэтому развлекайтесь

в общем иногда для вывода типов нужен носитель фантомных типов, а с учетом TypeApplications очень хорошо подходит Tagged, т.к. у него первый аргумент фантомный и можно через собаку передавать

https://github.com/typeable/schematic/blob/master/test/SchemaSpec.hs#L20 применение выглядит вот так

типа вместо Proxy a -> b -> ... можно писать Tagged a b -> ...

кто-то продвигал синоним (//) для Tagged, чтобы, например, data Size = Size { height :: Double // "height" , width :: Double // "width" }

Привет всем! Есть те, кто умеет работать с андроид эмуляторами более-менее умело? (блюстак, нокс, обычный от гугла, генимотион и т.д.). Ищу уже долгое время пряморукого фрилансера, который смог бы сделать сендер для whatsapp и messenger (бюджет 600 $ и 750 $ соответственно). Если вдруг кто-то с такими золотыми руками есть, чирканите в личку.

кто-то продвигал синоним (//) для Tagged, чтобы, например, data Size = Size { height :: Double // "height" , width :: Double // "width" }

а я хочу TypeApplications инфиксные как опцию

чтобы можно было @"bla" .= "foo"

ну или если это ambiguous для разбора кода, то можно "bla"@ .= "foo

чтобы можно было @"bla" .= "foo"

может, ты хочешь #bla .= "foo"?

определенно нет

это может быть и @Foo .= foo