к
f x : y
это
(f x) : y
это
(f x) : y
subtreesTraversed это уже [b]
f v это b
(f v) : subtreesTraversed это тоже [b]
Size: a a a
2021 February 19
к
JS
сравните с
sin x + cos x == (sin x) + (cos x)
sin x + cos x == (sin x) + (cos x)
12
Теперь непонятно почему выполняется pre-order, а не post-order
Написал тоже самое на котлине
Написал тоже самое на котлине
12
и он идет по post-order
12
preOrder :: (a -> b) -> Tree a -> [b]
preOrder f (Node v subtrees)
= let subtreesTraversed = concat $ map (preOrder f) subtrees
in f v : subtreesTraversed
не понимаю совершенно последнюю строку, к
preOrder f (Node v subtrees)
= let subtreesTraversed = concat $ map (preOrder f) subtrees
in f v : subtreesTraversed
не понимаю совершенно последнюю строку, к
v клятся остальные значения (subtreesTraversed) и только ПОТОМ они в f или как?третья строчка ленивая?
12
> = let subtreesTraversed = concat $ map (preOrder f) subtrees
JS
в Хаскеле все строчки ленивые
12
все, разобрался, спасибо!
12
вот так симитировал в котлине, если кому интересно
JS
функция называется preorder. почему вы ожидаете что-то другое?
12
функцию как угодно можно назвать, мне было интересно почему работает именно так, теперь разобрался 🙂
JS
да, можно как угодно, но когда я вижу незнакомый код, ориентируюсь на имена
JS
только это совсем другая функция, она не собирает результаты в список, а выполняет действие и попутно собирает оригиналы
к
это совсем другой код, да
к
кинь весь код текстом, с определением дерева
JS
этот код совместим с Data.Tree
JS
и логичнее было бы preorder обход определить без преобразования
preOrder :: Tree a -> [a]
preOrder (Node v subtrees) =
v : concatMap preOrder subtrees
12
кинь весь код текстом, с определением дерева
к
вот тот код на хаскеле на котлине, надеюсь это поможет понять хаскельную версию
https://gist.github.com/kana-sama/f838e6c8d2f16a99b1f9bd4f27492e2f
https://gist.github.com/kana-sama/f838e6c8d2f16a99b1f9bd4f27492e2f
