lazy-sequences

1зной

2ответ

Как получить доступ к значениям LazySeq

Я играю с wit/duckling библиотекой. Это было написано в clojure, и у меня нет предыдущего опыта в clojure. Следуя своей документации я получил значение переменной, как ({:dim :time, :body "20 minutes

clojure lazy-sequences 2016-08-03

---

3зной

2ответ

Предоставляет ли стандартный C++ 11 гарантию того, что временный объект, переданный функции, будет создан перед вызовом функции?

Предоставляет ли стандартный C++ 11 гарантию, что все 3 временных объекта были созданы до начала выполнения функции? Даже если временный объект передается как: объект Rvalue ссылка передается только ч

c++ c++11 standards lazy-sequences sequence-points 2016-08-08

---

4зной

2ответ

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

Предположим, у меня есть два счетчика, enum1 и enum2, которые должны быть лениво повторены (потому что у них есть побочные эффекты). Как создать третий счетчик enum3, где enum3.each{|x| x} будет lazil

ruby enumerator lazy-sequences 2016-08-09

---

2зной

2ответ

Создать ленивую последовательность, объединив коллекции

Создайте ленивую последовательность, объединив коллекции. Рассмотрим следующую функцию: (defn req [] (Thread/sleep 1000) (repeat 4 (rand-int 10))) сон добавляется, так как функция будет, н

clojure lazy-sequences 2017-01-12

---

2зной

2ответ

Доказательство равенства на коиндуктивных ленивых списках в Coq

Я экспериментирую с Coq Coinductive типами Coq. Я использую ленивый тип списка образует Coq'Art книгу (раздел 13.1.4.): Set Implicit Arguments. CoInductive LList (A:Set) : Set := | LNil : LList A

coq lazy-sequences coinduction 2016-10-05

---

2зной

1ответ

Аналог группы python в haskell

В python есть функция groupby. Это тип может быть выражен в haskell следующим образом: groupby :: a->b->[a]->[(b, [a])] Потому что для этого нужны данные для сортировки, мы можем думать о его рабочем

python haskell iterator lazy-sequences 2016-11-25

---

1зной

2ответ

Выполнять «получить» на всех элементах HashMap в LazySeq

Я разбираю некоторые данные XML из Stack Exchange с помощью clojure.data.xml, например, если я разбираю данные Votes, он возвращает LazySeq, содержащий HashMap для каждой строки данных. То, что я пыта

clojure hashmap lazy-sequences 2016-08-28

---

6зной

1ответ

Как написать `intersperse` функцию в Perl 6

Одна вещь, которую я пропускал в Perl 6, является intersperse функция like Haskell has: Функция пересыпать принимает элемент и список и` вкрапляет этот элемент между элементами списка. E.g. это: inter

list perl6 lazy-sequences 2016-09-01

---