AK
конечно! спасибо!
Size: a a a
2018 March 19
AK
ну и криптуется до
forIndexed array f = foldWithIndexM (flip $ const f) unit arrayAK
и ещё дальше как-то наверное :)
at
Почему в пурсе Bind отдельный тайпкласс от Monad?
at
NK
Кто-то жив?
Потому же, почему у них вместо
Num всякие Semiring, [Euclidian]Ring, DivisionRing и Field.NK
Тем более, что в пурсе, насколько я помню, ты можешь методы суперклассов реализовать пачкой вместе с методами, собственно, класса
2018 March 20
AK
немного запутался всё равно,
то есть по сути
Пытаюсь через это вывести свой
такой код компилится, но выполняется даже для массивов с несколькими элементами только один раз
for_ игнорирует результат и выполняет эффекты:for_ = flip traverse_
traverse_
:: forall a b f m
. Applicative m
=> Foldable f
=> (a -> m b)
-> f a
-> m Unit
traverse_ = foldr ((*>) <<< f) (pure unit)
то есть по сути
for_ это:foldr ((*>) <<< (\item -> f item)) (pure unit) array
Пытаюсь через это вывести свой
forIndexed_ используя foldrWithIndex вместо foldr, но очевидно теряю apply и не знаю как его вставить правильно:forIndexed_
:: forall i f a m
. FoldableWithIndex i f => Applicative m
=> f a -> (i -> a -> m Unit) -> m Unit
forIndexed_ array f =
foldrWithIndex (\idx elm _ -> f idx elm) (pure unit) array
такой код компилится, но выполняется даже для массивов с несколькими элементами только один раз
Короче я и это зря делал, увидел сегодня
forWithIndex_ в том же модуле: https://github.com/purescript/purescript-foldable-traversable/blob/master/src/Data/FoldableWithIndex.purs#L203
2018 March 21
VN
PureScript жив? Я имею в виду, растет популярность или так себе?
VY
я бы _не_ сказал что растет :)
сорри, _не_, _не_ сказал бы
сорри, _не_, _не_ сказал бы
VN
Я глянул примеры на оф странице с использованием Рекста. многовато символов получается.
VN
может у кого есть опит с clojurescript и мог бы стравнить?
VY
хм, обычно с elm сравнивают
с ghcjs еще иногда
(я точно не могу сравнить ни с тем ни с другим)
с ghcjs еще иногда
(я точно не могу сравнить ни с тем ни с другим)
VN
хм, обычно с elm сравнивают
с ghcjs еще иногда
(я точно не могу сравнить ни с тем ни с другим)
с ghcjs еще иногда
(я точно не могу сравнить ни с тем ни с другим)
наверное по тому что есть типизация
VN
сljs ее нет из коробки
VY
так и не из коробки нет же чего-то подобного core.typed для cljs
просто не знаю как можно их сравнивать, по каким параметрам (и что именно сравнивать)
просто не знаю как можно их сравнивать, по каким параметрам (и что именно сравнивать)