haskell - 点自由一元表达式

Question

考虑这个表达式(取自 Real World Haskell ch. 8，我尝试简化)

isElfFile :: FilePath -> IO Bool
isElfFile path = return . hasElfMagic =<< L.readFile path

如何制作此功能的无积分版本？我尝试使用其另一个绑定(bind)操作 >>=，提升 hasElfMagic，但似乎没有一个起作用。

Answer 1

这里不绑定(bind)更简单:

isElfFile path = return . hasElfMagic =<< L.readFile path
isElfFile path = fmap hasElfMagic (L.readFile path)
isElfFile      = fmap hasElfMagic . L.readFile 

但当然也可以使用=<< :

isElfFile path = return . hasElfMagic =<< L.readFile path
isElfFile path = (=<<) (return . hasElfMagic) (L.readFile path)
isElfFile      = (=<<) (return . hasElfMagic) . L.readFile
isElfFile      = (return . hasElfMagic =<<) . L.readFile

一般来说，在尝试使事情变得无点之前，将中缀函数转换为前缀形式会有所帮助。