DG
Действительно, не прав) Сссанк)
Size: a a a
2021 June 28
MK
timey-wimey
ДК
ну и по сути же очень многие объявления в thunk'и и транслируются, язык же ленивый
[
ладно, я сдаюсь, дошёл вот до этого, но это не правильно
ДК
все незатребованные вычисления лежат в памяти как thunk'и, поправьте если не прав
[
хм
[
а как
MK
теоретически да, но оптимизатор очень умный и может где-то посередине от санков избавиться
к
f :: [Int] -> [Int]
f xs =
let (m, ys) = replace_with_min m xs
in ys
where
-- replace elements with min and return the tuple of min and replaced list
replace_with_min :: Int -> [Int] -> (Int, [Int])
replace_with_min m [] = (m, [])
replace_with_min m [x] = (x, [m])
replace_with_min m (x : xs) =
let (m', xs') = replace_with_min m xs
in (min x m', m : xs')
f xs =
let (m, ys) = replace_with_min m xs
in ys
where
-- replace elements with min and return the tuple of min and replaced list
replace_with_min :: Int -> [Int] -> (Int, [Int])
replace_with_min m [] = (m, [])
replace_with_min m [x] = (x, [m])
replace_with_min m (x : xs) =
let (m', xs') = replace_with_min m xs
in (min x m', m : xs')
t
да, спасибо, я посмотрел, но до меня не дошли практические использования
t
т.е. там написано как этим пользоваться, но не написано зачем
MK
repmin xs = snd $ go (maxBound :: Int) xs where go m [] = (m,[]); go m (x:xs) = let (m', xs') = go (if x < m then x else m) xs in (m', m':xs')[
о, теперь понял
MK
мой вариант