Dlaczego nie jest możliwe stosowanie tablic próbnych? (Czy tak?)

Question

Podczas rozważania, jak najlepiej odwzorować, tj. traverse, a -> Maybe a -Kleisli nad unboxed vector, szukałem istniejącej implementacji. Oczywiście U.Vector nie jest Traversable, ale it does supply a mapM, który dla Maybe oczywiście działa dobrze.

Ale pytanie brzmi: czy ograniczenie jest naprawdę potrzebne? Cóż, okazuje się, że nawet boxed vectors cheat for the Traversable instance: oni naprawdę tylko przechodzić do listy, które konwersji do/z:

instance Traversable.Traversable Vector where 
    {-# INLINE traverse #-} 
    traverse f xs = Data.Vector.fromList Applicative.<$> Traversable.traverse f (toList xs) 

mono-traversabledoes the same thing also for unboxed vectors; tutaj wydaje się to jeszcze bardziej makabryczne.

Teraz nie byłbym zaskoczony, gdyby vector był w stanie połączyć wiele z tych zhakowanych przejść w znacznie bardziej wydajną formę, ale nadal - wydaje się, że istnieje podstawowy problem, uniemożliwiający nam wykonanie przejścia na tablica od razu. Czy istnieje jakaś "głęboka przyczyna" dla tej niezdolności?

Answer 1

Po przeczytaniu odpowiedniego źródła vector i próbuje zrobić mapM pracę z Applicative myślę dlaczego Data.Vector.Unboxed.Vector nie posiada funkcji i Data.Vector.Vectortraverse :: (Applicative f, Unbox a, Unbox b) -> (a -> f b) -> Vector a -> f (Vector b) nie posiada natywny traverse jest kod Fusion. Sprawca jest następujący Stream typ:

-- Data/Vector/Fusion/Stream/Monadic.hs Line: 137 

-- | Result of taking a single step in a stream 
data Step s a where 
    Yield :: a -> s -> Step s a 
    Skip :: s -> Step s a 
    Done :: Step s a 

-- | Monadic streams 
data Stream m a = forall s. Stream (s -> m (Step s a)) s 

ta jest używana wewnętrznie do wdrożenia mapM. Numer m będzie taki sam, jak w przypadku pierwszego połączenia z numerem Data.Vector.Unboxed.mapM. Ale ponieważ grzbiet tego strumienia znajduje się wewnątrz funktora m, nie można z nim pracować, jeśli masz aplikator tylko dla m.

Zobacz także ten numer na vector GitHub repo: Weaken constraint on mapM.

Nota prawna: Nie wiem, jak działa fuzja. Nie wiem, jak działa vector.