fold

6Ciepło

2Odpowiedz

Czy w RDD są jakieś działania dotyczące zamówienia?

Chcę wykonać działanie w trybie RDD, takie jak reduce, ale nie trzeba, aby operator był przemienny. tj. chcę, aby result na następnej stronie zawsze będzie "123456789". scala> val rdd = sc.parallelize

6Ciepło

2Odpowiedz

C++ składnia wyrażeń 17-krotnie?

Próbuję użyć zwartej krotnie wyrażenie bez powodzenia. Na przykład o to pracy C++ 17 kod template <bool... B> struct Fold_And : std::integral_constant<bool, (B && ...)> { }; template <bool... B>

5Ciepło

2Odpowiedz

Czy możesz prześledzić, jak działa ta składana funkcja lambda Haskella?

myReverse :: [a] -> [a] myReverse = foldl (\a x -> x:a) [] foldl is (a -> b -> a) -> a -> [b] -> a Funkcja lambda jest oczywiście w nawiasach. Skąd foldl otrzymuje wartość początkową? A co w tym

5Ciepło

4Odpowiedz

Czy foldRight jest odpowiednikiem foldLeft, biorąc pod uwagę nieprzyswajalną operację asocjacyjną?

W kursie internetowym stwierdzono, że foldLeft i foldRight są równoważne dla operatorów, którzy są asocjacyjny i przemienny. Jeden z uczniów jest nieugięty, że tacy operatorzy muszą być jedynie stowar

8Ciepło

1Odpowiedz

Haskell vs. erlang: różnica w foldl?

Zauważyłem, że istnieje różnica między Haskell i Erlang, jeśli chodzi o foldl. Dla foldr, oba języki zwraca te same wyniki: foldr (\x y -> 2*x+y) 4 [1, 2, 3] -- returns 49 lists:foldr(fun(X, Y) −> X+

6Ciepło

1Odpowiedz

Dlaczego Idris nie zaakceptuje mojego spasowania?

Oto wektor, którego elementy są indeksowane przez długość wektora. data IxVect : (n : Nat) -> (a : Nat -> Type) -> Type where Nil : IxVect 0 a (::) : a n -> IxVect n a -> IxVect (S n) a Ch

5Ciepło

2Odpowiedz

C++ 17: Co oznacza "operator o pierwszeństwie pod rzutem" w koncepcji "krotnie"?

Na stronie internetowej http://en.cppreference.com/w/cpp/language/fold daje przykład, jak używać krotny koncepcję, i mówi: Jako non-native speakera angielskiego, nie rzucić się zdanie: has an operator

6Ciepło

1Odpowiedz

W jaki sposób foldMap może zrobić to samo, co foldr, gdy ta ostatnia nie ma nic wspólnego z monoidami?

foldr i foldMap mogą być używane do definiowania siebie tak, jak rozumiem. Ale jak to jest możliwe, ponieważ ten drugi używa monoidów, podczas gdy ten pierwszy nie? Czy mamy jakieś gwarancje, że rzecz

7Ciepło

1Odpowiedz

Dlaczego foldl1 nie jest uogólniony na Składany?

Tytuł mówi wszystko. foldl1 i foldl' są uogólnione do Foldable, natomiast foldl1' nie jest. Czy to tylko niedawne niedopatrzenie? Czy jest to wybór projektu? Rodzaj foldl1' jest foldl1' :: (a -> a ->

8Ciepło

2Odpowiedz

funkcja Haskell do długości listy

Aby obliczyć długość listy, używając foldr, można by zrobić coś takiego: foldr (\_ acc -> acc + 1) 0 dalszej ekspansji na założeniu, że funkcja składany musi zwiększyć drugi argument, natknąłem się