Metody łączenia od lewej do prawej w Haskell (w przeciwieństwie do prawej do lewej)

Question

Pochodzę ze Scala. Więc często robić rzeczy jak:

println((1 to 10).filter(_ < 3).map(x => x*x)) 

W Haskell, po odkryłem mogę pozbyć się wszystkich zagnieżdżonych nawiasów stosując $ i ., niedawno znalazłem się pisząc:

putStrLn . show . map (**2) . filter (< 3) $ [1..10] 

Teraz, to działa, ale kod czyta od prawej do lewej i jeśli nie przejdę na język arabski, trudno mi o tym mówić.

Czy jest jakaś inna sztuczka, która sprawia, że ​​łączę funkcje od lewej do prawej? Czy to tylko idiomatyczny sposób Haskella?

Answer 1

Niestety, jest to sposób idiomatyczny Haskella. Ale operator & może robić, co chcesz.

import Data.Function ((&)) 

[1..10] & filter (< 3) & map (**2) & show & putStrLn 

Zasadniczo, (&) = flip ($). Podobnie Control.Arrow.(>>>) = flip (.)

Update (6+ miesięcy później): Muszę przyznać, że ta kwestia jest wielkim źródłem frustracji dla mnie i I zostały toying z tym potencjalne rozwiązanie:

https://gist.github.com/obadz/9f322df8ba6c8a9767683d2f86af8589#file-directionalops-hs-L81

Answer 2

Dlaczego nie założyć nowego operatora?

(#) :: a -> (a -> b) -> b 
(#) = flip id 

Teraz można po prostu napisać

[1..10] # filter (< 3) # map (**2) # show # putStrLn 

ten jest odpowiednikiem operatora (&) z Data.Function.

Answer 3

Tak, to idiotyczny Haskell. Nie arabski, ale raczej matematyczny, wywodzący się ze składni kompozycji. Zobacz także Haskell composition (.) vs F#'s pipe forward operator (|>).

Mimo to, nawet w Haskell czasami wolą pisać swoje rozmowy w innym kierunku, a znajdziesz kilka bibliotek (np Data.Function ponieważ baza 4.8.0), które zostały zdefiniowane

(&) = flip ($) 

tak że możesz wyrazić swoje połączenie jako

[1..10] & filter (< 3) & map (**2) & show & putStrLn