、私はこれを行うことができます。反復子の反復子からデカルト積を生成する関数を作成するにはどうすればよいですか?私はHaskellではリストのリストの直積を作成したい場合は
product [] = [[]]
product (xs:xss) = concatMap (\k -> map (k:) (product1 xss)) xs
かさえ、この:
sequence xss
を私は、効率的なイテレータを実装しようとしていますそれは錆で同じことを行うだろうが、私は私の試みと間違っているかわからないんだけど:
use std::iter::{empty, once};
fn product<T, I, V>(xss: I) -> Box<Iterator<Item = Iterator<Item = T>>>
where
T: Clone,
V: IntoIterator<Item = T>,
I: IntoIterator<Item = V>,
{
Box::new(xss.into_iter().fold(once(empty()), |acc, xs| {
xs.into_iter().flat_map(|x| acc.map(|ys| ys.chain(once(x))))
}))
}
fn main() {
let data = vec![[1, 2, 3], [10, 20, 30], [100, 200, 300]];
let it: Vec<Vec<u32>> = product(data).collect();
println!("{:?}", it);
}
これらのエラーを生成します:
error[E0308]: mismatched types
--> src/main.rs:10:9
|
10 | xs.into_iter().flat_map(|x| acc.map(|ys| ys.chain(once(x))))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `std::iter::Once`, found struct `std::iter::FlatMap`
|
= note: expected type `std::iter::Once<std::iter::Empty<T>>`
found type `std::iter::FlatMap<<V as std::iter::IntoIterator>::IntoIter, std::iter::Map<std::iter::Once<std::iter::Empty<T>>, [[email protected]/main.rs:10:45: 10:67 x:_]>, [[email protected]/main.rs:10:33: 10:68 acc:_]>`
error[E0271]: type mismatch resolving `<std::iter::Once<std::iter::Empty<T>> as std::iter::Iterator>::Item == std::iter::Iterator<Item=T>`
--> src/main.rs:9:5
|
9 |/ Box::new(xss.into_iter().fold(once(empty()), |acc, xs| {
10 | | xs.into_iter().flat_map(|x| acc.map(|ys| ys.chain(once(x))))
11 | | }))
| |_______^ expected struct `std::iter::Empty`, found trait std::iter::Iterator
|
= note: expected type `std::iter::Empty<T>`
found type `std::iter::Iterator<Item=T>`
= note: required for the cast to the object type `std::iter::Iterator<Item=std::iter::Iterator<Item=T>>`
error[E0277]: the trait bound `[{integer}; 3]: std::iter::Iterator` is not satisfied
--> src/main.rs:16:29
|
16 | let it: Vec<Vec<u32>> = product(data).collect();
| ^^^^^^^ `[{integer}; 3]` is not an iterator; maybe try calling `.iter()` or a similar method
|
= help: the trait `std::iter::Iterator` is not implemented for `[{integer}; 3]`
= note: required because of the requirements on the impl of `std::iter::IntoIterator` for `[{integer}; 3]`
= note: required by `product`
error: the `collect` method cannot be invoked on a trait object
--> src/main.rs:16:43
|
16 | let it: Vec<Vec<u32>> = product(data).collect();
| ^^^^^^^
最初のエラーは、(少なくとも概念的には)私にEmpty<T>
がIterator<Item = T>
ですので錆にもfold
となまけ消費イテレータを作成することができないという感じを与えているが、私は、私は願っています違う。
箱入りのイテレータは、リーズナブルに評価されたHaskell変数には適切な置換えではないため、巻き戻しやクローン化ができないため、このような直接変換は機能しません。ボックス化されたチェーンの連鎖としてのリストの表現も効率的ではありません。 – red75prime
@ red75primeさて、それを一般的かつ機能的なスタイルでどうやって行うのですか? – user1685095
あなたはRustを書いていますが、Haskellを考えて、それは間違っています。さびの実装がどのように見えるかを見るには[this](http://killercup.github.io/vibrant-rs/itertools/struct.Product.html)を見てください。 – papagaga