Телеграмм чат группы proelixir страница 6987

"ленивая коллекция" в кложе / SICP это не тоже самое, что Stream в эликсире

"ленивая коллекция" в elixir - это Stream
А у нас в этом чате контекст elixir

11:37пожаловаться #1

array в erlang и array в c - это разные вещи внутри, хоть и называются одинаково, но тем не менее, если в этом чате кто-то напишет :array, то это будет array из erlang

11:37пожаловаться #2

Мы тут в таком контексте живём

11:38пожаловаться #3

Так что если ты говоришь о "ленивых коллекциях", то уточняй что они из кложи, если ты говоришь о кложе

11:38пожаловаться #4

ŹR

Źmićer Rubinštejn in pro.elixir

Ну мы как-бы про кложу говорим

11:38пожаловаться #5

ŹR

Źmićer Rubinštejn in pro.elixir

Потому что как работает все в эликсире я знаю, и там везде tco

11:39пожаловаться #6

Źmićer Rubinštejn

Ну мы как-бы про кложу говорим

@clojure_ru ?

11:39пожаловаться #8

в кложе / рэкетах стрим это именно коллекция, которая в том числе включает мемоизацию

классическая демонстрация на фибоначи:

(def fib (cons 0 (cons 1 (lazy-seq (map + fib (rest fib))))))

11:40пожаловаться #9

Alex Bubnov in pro.elixir

в кложе / рэкетах стрим это именно коллекция, которая в том числе включает мемоизацию

У Seq есть "материальная" часть? Я припоминаю, что в некоторых случаях голова коллекции вычисляется наперед, но ведь не всегда же

11:40пожаловаться #10

ŹR

Źmićer Rubinštejn in pro.elixir

Lama Lover

sticker.webp

(16.44 Кб)

Извини, но разговор вылез из того, что ленивые коллекции в кложе не жрут стек и не используют tco

11:40пожаловаться #11

Alex Bubnov

оно не вычисляется наперед, но сохраняет результаты уже вычисленного

11:41пожаловаться #12

Źmićer Rubinštejn

Извини, но разговор вылез из того, что ленивые коллекции в кложе не жрут стек и не используют tco

Они немного нечистые

11:41пожаловаться #13

Типа ленивая коллекция в кложе хоть и всегда индемпотентна на всех операциях, внутри она меняется

11:41пожаловаться #14

классическая демонстрация на фибоначи:

(def fib (cons 0 (cons 1 (lazy-seq (map + fib (rest fib))))))

(take 14 fib)
(0 1 1 2 3 5 8 13 21 34 55 89 144 233)

11:41пожаловаться #15

классическая демонстрация на фибоначи:

(def fib (cons 0 (cons 1 (lazy-seq (map + fib (rest fib))))))

и тут довольно клевый концепт в том, что мы не используем рекурсию в терминах функций, но используем рекурсивные коллекции

11:42пожаловаться #16

и при этом имеем автоматически эффективную имплементацию с кешированием

11:43пожаловаться #17

на эликсировском Stream такое не выразишь, правильно?

11:43пожаловаться #18

Alexey Bolshakov

Коллега, я давно читал. Деталей уже не вспомню. К тому же, ерланг тоже постепенно меняется. Некоторые проблемы перестают быть актуальными. Дал просто для информации. Выводы, пожалуйста, сами )

да линк клевый, спасибо

11:44пожаловаться #19

Alex Bubnov in pro.elixir

на эликсировском Stream такое не выразишь, правильно?

Еяпп, это вообще не сделать в beam.