Dlaczego wyrazy Parsec są wyraźnie zaznaczone jako Tekst, ale nie ByteString?

Question

There's warstwa abstrakcji wykorzystywane przez parsec, typ klasy Stream, wygląda to tak:

class (Monad m, ShowToken t) => Stream s m t | s -> t where 
    uncons :: s -> m (Maybe (t, s)) 

instance (Monad m, ShowToken t) => Stream [t] m t where 
    uncons []  = return Nothing 
    uncons (t:ts) = return $ Just (t, ts) 
    {-# INLINE uncons #-} 

instance Monad m => Stream CL.ByteString m Char where 
    uncons = return . CL.uncons 

instance Monad m => Stream C.ByteString m Char where 
    uncons = return . C.uncons 

instance Monad m => Stream T.Text m Char where 
    uncons = return . T.uncons 
    {-# INLINE uncons #-} 

instance Monad m => Stream TL.Text m Char where 
    uncons = return . TL.uncons 
    {-# INLINE uncons #-} 

Zastanawiam się, czy inline jest dobrym pomysłem tutaj, to dlaczego uncons w ByteString jest instancją Stream nie inlined?

Czy wszystkie te funkcje powinny być w jednej linii, czy też nie powinny być tak różne, czy Text i ByteString są tak różne, że powinniśmy wstawiać jeden i nie wpisywać drugiego?

Answer 1

Chyba nie ma prawdziwego powodu. Prawdopodobnie nikt nie zwrócił na siebie uwagi, testując i wykazał, że istnieje korzyść za lub przeciw {-# INLINE #-}.

Po dodaniu wystąpień a commit from 2011 przyszedł z pragma {-# INLINE #-}.

Z drugiej strony, Stream ByteStringwas touched last time in Feb 2008, z poprzedniego popełnić będąc początkowe import od stycznia 2008. Nie ma żadnych INLINE pragma

Więc jeśli uważasz, że nie ma powodu, aby mieć lub nie mieć {-# INLINE #-} pragmas na tych instancjach, zrobić testy porównawcze potwierdzające twoją sprawę. Nie jestem świadomy, że istnieje . To może mieć sens również dla wstawiania <*> i >>= z .

Powiązane: Niedawno dodałem kilka intuicyjnych intuicji do jasnych, ponieważ testy porównawcze wyraźnie pokazują, że robią różnicę; ; ale OTOH nie powinieneś posypywać ich do wszystkiego.