к
intercalate
Prelude Data.List> f xs = intercalate ", " (init xs) <> " and " <> last xs
Prelude Data.List> f ["a", "b", "c"]
"a, b and c"Size: a a a
2021 January 16
JS
Чем что? Как ещё?
intercalate, я же выше написал
к
reverse не нужен, потому что есть last, если я правильно понял намерения
JS
а, там ещё хуже
к
Prelude Data.List> f xs = intercalate ", " (init xs) <> " and " <> last xs
Prelude Data.List> f ["a", "b", "c"]
"a, b and c"для пустого списка еще желательно отдельный кейс
JS
Prelude Data.List> f xs = intercalate ", " (init xs) <> " and " <> last xs
Prelude Data.List> f ["a", "b", "c"]
"a, b and c"давайте не решать учебные задания за других, а то они не научатся ничему
R
Prelude Data.List> f xs = intercalate ", " (init xs) <> " and " <> last xs
Prelude Data.List> f ["a", "b", "c"]
"a, b and c"Да, спасибо) И сделать ещё проверку на кол-во элементов в списке? 🤔
JS
Да, спасибо) И сделать ещё проверку на кол-во элементов в списке? 🤔
нет, не нужна проверка на количество
к
а какую именно проверку?
f xs | length xs == n = ...
если на 0, то
f [] = ...
f xs = ...
f xs | length xs == n = ...
если на 0, то
f [] = ...
f xs = ...
R
нет, не нужна проверка на количество
last [] - упадёт же
JS
last [] - упадёт же
значит, проверка на пустоту нужна
к
давайте не решать учебные задания за других, а то они не научатся ничему
примеры - тоже хороший способ обучения, если их миксовать с практикой. Чисто практика или чисто примеры имхо хуже, чем микс
R
примеры - тоже хороший способ обучения, если их миксовать с практикой. Чисто практика или чисто примеры имхо хуже, чем микс
+, не знал про функцию init, поэтому думал делать reverse, поэтому хотел сделать Ord. Такое короче :)
к
для reverse не нужен Ord кстати
R
А, да, там в другом месте проблема была
AY
Если я внутри монады Reader, я могу прокинуть её внутрь foldr? Мне нужно добавить префикс к строкам в списке, префикс передается через Reader-монаду, не хочется в foo еще раз вытаскивать префикс и внутри foldr перезапускать Reader монаду через runReader
bar :: String -> Reader String String
bar p = do
prefix <- ask
return $ prefix ++ p
foo :: Reader String String
foo = do
return $ foldr (\a b -> (bar a) ++ b) [] ["1"]
bar :: String -> Reader String String
bar p = do
prefix <- ask
return $ prefix ++ p
foo :: Reader String String
foo = do
return $ foldr (\a b -> (bar a) ++ b) [] ["1"]
ЗП
Andrei Yangabishev
Если я внутри монады Reader, я могу прокинуть её внутрь foldr? Мне нужно добавить префикс к строкам в списке, префикс передается через Reader-монаду, не хочется в foo еще раз вытаскивать префикс и внутри foldr перезапускать Reader монаду через runReader
bar :: String -> Reader String String
bar p = do
prefix <- ask
return $ prefix ++ p
foo :: Reader String String
foo = do
return $ foldr (\a b -> (bar a) ++ b) [] ["1"]
bar :: String -> Reader String String
bar p = do
prefix <- ask
return $ prefix ++ p
foo :: Reader String String
foo = do
return $ foldr (\a b -> (bar a) ++ b) [] ["1"]
foldrM?
AY
о, ща посмотрим
к
Andrei Yangabishev
Если я внутри монады Reader, я могу прокинуть её внутрь foldr? Мне нужно добавить префикс к строкам в списке, префикс передается через Reader-монаду, не хочется в foo еще раз вытаскивать префикс и внутри foldr перезапускать Reader монаду через runReader
bar :: String -> Reader String String
bar p = do
prefix <- ask
return $ prefix ++ p
foo :: Reader String String
foo = do
return $ foldr (\a b -> (bar a) ++ b) [] ["1"]
bar :: String -> Reader String String
bar p = do
prefix <- ask
return $ prefix ++ p
foo :: Reader String String
foo = do
return $ foldr (\a b -> (bar a) ++ b) [] ["1"]
но чтобы понять решение foldrM, вот реалзиация через просто foldr
foo :: Reader String String
foo =
foldr
( \a b -> do
a' <- bar a
b' <- b
pure (a' <> b')
)
(pure "")
["1", "2", "3"]
foo' :: Reader String String
foo' =
foldr
( \a b ->
bar a >>= \a' ->
b >>= \b' ->
pure (a' <> b')
)
(pure "")
["1", "2", "3"]
foo :: Reader String String
foo =
foldr
( \a b -> do
a' <- bar a
b' <- b
pure (a' <> b')
)
(pure "")
["1", "2", "3"]
foo' :: Reader String String
foo' =
foldr
( \a b ->
bar a >>= \a' ->
b >>= \b' ->
pure (a' <> b')
)
(pure "")
["1", "2", "3"]
к
не нужно ничего прокидывать, можно просто сворачивать в Reader сразу