Списковые включения

> Но по крайне мере такая же штука есть в Питоне. Вопрос собсвенно в том какие ещё языки имеют подобные встроенные механизмы?

Любой, в котором есть функция map или ей подобная - т.е. практически любой язык с элементами ФП, тот же лисп, например. То, что ты привел - это просто syntactic sugar для map.

Отличительная фишка Haskell - бесконечные списки. Т.е. можно написать что-то вроде [x^2 | x <- [1,3..]]

> Отличительная фишка Haskell

http://search.cpan.org/~genie/Tie-LazyList-0.05/LazyList.pm

> - бесконечные списки.

ленивые списки модно даже на сях клепать.

кстати они и в питоне присутсвуют - xrange кличуться

Понятно что это syntactic sugar, вот мне просто интересно(незнаю от куда такое странное желание:) есть ли такая обёртка вокруг map и filter в каких нибудь других языках кроме Хаскеля и Питона. Хотя если подумать то (loop for i in list collect (expt i 2)) тоже самое.

В erlang еще есть.

(defmacro map-with-sshugar (var cond list) `(map 'list #'(lambda ,var ,cond) ,list))

(map-with-sshugar (x) (* x x) '(1 2 3 4 5 6 7))

> ленивые списки модно даже на сях клепать.

Дык понятно что можно, можно и на асме сразу. Но мы же не говорим о тех случаях, когда это сделано через одно место - типа метапрограммирования на плюсовых темплейтах =)

А что оно в лиспе есть - не знал, но не удивлен. При наличии макр это делается на раз.

> А что оно в лиспе есть - не знал, но не удивлен. При наличии макр это делается на раз.

Ну, скажем прямо, сделать в лиспе что-то типа хаскеловского

[x^2 | x <- [1..]]

не так уж и легко. В схеме, правда, немного легче, чем в коммон лиспе, в котором нет delay'ев и continuation'ов.

Никаких темплейтов не надо. Желателен только единый интерфейс для доступа к элементам списка. Типа этого:

struct Node { virtual Node * head() =0; virtual Node * tail() =0; };

А далее - ленивый список отличается от обычного тем, что значение следующего элемента вычисляется в момент вызова tail а не при конструировании всего списка. Другими словами tail для обычного списка будет просто возвращать где-то припасенный "следующий" элемент, а tail для ленивого списка будет этот элемент расчитывать и возвращать отталкиваясь от текущего элемента. Так можно реализовать потенциально бесконечные списки. Например, список из натуральных чисел.

всмысле последовательность натуральных чисел

1 2 3 4 5 6 7 8 9 ....

Смотри Ruby, там очень изящно подобные вещи сделаны.

Не понял зачем тут продолжения. Почему delay и force не достаточно (они-то вроде без продолжений реализуются)?

> Не понял зачем тут продолжения. Почему delay и force не достаточно (они-то вроде без продолжений реализуются)?

АФАИК тоже достаточно, я не помню уже. Никогда практически их не использовал.