ΑZ
Интересно что подразумевается именно под ФП, когда рядом стоят требования хайлоада и алгоритмов?
как и обычно - ссылочная прозрачность
Size: a a a
2021 February 03
ΑZ
ну по крайней мере это то что я понимаю
KR
как и обычно - ссылочная прозрачность
Чёт сомневаюсь)
ΑZ
а что они понимают я понятия неимею
KR
а что они понимают я понятия неимею
Отож
ΑZ
Чёт сомневаюсь)
ну мб они имеют в виду "шобы в итераторы умел"
KR
ну мб они имеют в виду "шобы в итераторы умел"
Ага... вспомнилось про "бога алгоритмики" и "императивную макаку" кек)
ID
ну мб они имеют в виду "шобы в итераторы умел"
позволю себе нубацкий вопрос: что не так с итераторами, почему они (или их методы) такие медленные? они разве не развертываються в обычные циклы?
ID
P.S. в компилятор раста не лазил
ΑZ
позволю себе нубацкий вопрос: что не так с итераторами, почему они (или их методы) такие медленные? они разве не развертываються в обычные циклы?
кто сказал что они медленные?
DS
позволю себе нубацкий вопрос: что не так с итераторами, почему они (или их методы) такие медленные? они разве не развертываються в обычные циклы?
С итераторами все ок, если они целиком инлайнятся
DS
Проблемы могут быть вокруг dyn Iterator
ID
кто сказал что они медленные?
Я. Уже приводил пример с быстрой сортировкой на итераторах: да, пять строчек круто, но 6сек против 1сек если сравнивать с более традиционным подходом
ΑZ
Я. Уже приводил пример с быстрой сортировкой на итераторах: да, пять строчек круто, но 6сек против 1сек если сравнивать с более традиционным подходом
быстрая сортировка не может работать на итераторах
ΑZ
ну то есть МОЖНО написать похожий алгоритм, но быстрой сортировкой он не будет
ID
быстрая сортировка не может работать на итераторах
но ведь хаскель...
ID
quicksort1 :: (Ord a) => [a] -> [a]
quicksort1 [] = []
quicksort1 (x:xs) =
let smallerSorted = quicksort1 [a | a <- xs, a <= x]
biggerSorted = quicksort1 [a | a <- xs, a > x]
in smallerSorted ++ [x] ++ biggerSortedID
я вот по этому принципу "отфильтровал и в рекурсию" и сделал
ID
быстрая сортировка не может работать на итераторах
а почему, если не секрет?
ΑZ
quicksort1 :: (Ord a) => [a] -> [a]
quicksort1 [] = []
quicksort1 (x:xs) =
let smallerSorted = quicksort1 [a | a <- xs, a <= x]
biggerSorted = quicksort1 [a | a <- xs, a > x]
in smallerSorted ++ [x] ++ biggerSortedквиксорт это инплейс сортироква, ты же в курсе?
на хаскеле она пишется так
на хаскеле она пишется так
import qualified Data.Vector.Generic as V
import qualified Data.Vector.Generic.Mutable as M
qsort :: (V.Vector v a, Ord a) => v a -> v a
qsort = V.modify go where
go xs | M.length xs < 2 = return ()
| otherwise = do
p <- M.read xs (M.length xs `div` 2)
j <- M.unstablePartition (< p) xs
let (l, pr) = M.splitAt j xs
k <- M.unstablePartition (== p) pr
go l; go $ M.drop k pr