Confusion au sujet curryfication et le point de style libre dans Haskell

Question

Je suis en train de mettre en œuvre la fonction

every :: (a -> IO Bool) -> [a] -> IO Bool 

qui a été le sujet pour

Était-ce utile?

Nous faire parvenir

La solution

La définition de $ est

f $ x = f x

Soit de votre fonction parenthésée pleinement:

every f xs = (liftM (all id)) (sequence ((map f) xs))

et votre version cari:

every = (liftM (all id)) (sequence map)

Comme vous l'avez remarqué, ce ne sont pas identiques. Vous ne pouvez arguments de la fonction drop arrière quand ils sont la dernière chose appliquée. Par exemple,

f x = g c x

est en fait

f x = (g c) x

et l'application de (g c) x vient en dernier, de sorte que vous pouvez écrire

f = g c

Un modèle avec l'opérateur d'application $ est qu'il devient souvent l'opérateur de composition. dans les versions points libres. En effet,

f $ g $ x

est équivalent à

(f . g) $ x

Par exemple,

every f xs = liftM (all id) $ sequence $ map f xs

peut devenir

every f xs = (liftM (all id) . sequence . map f) xs

à quel point vous pouvez déposer xs:

every f = liftM (all id) . sequence . map f

L'élimination du f argument est plus difficile, car il est appliqué avant que l'opérateur de composition. Utilisons la définition du point de http://www.haskell.org/haskellwiki/Pointfree :

dot = ((.) . (.))

Avec des points, c'est

(f `dot` g) x = f . g x

et est exactement ce que nous devons faire tous les points sans pleinement:

every = (liftM (all id) . sequence) `dot` map

Malheureusement, en raison des restrictions du système de type Haskell, celui-ci a besoin d'une signature de type explicite:

every :: (Monad m) => (a -> m Bool) -> [a] -> m Bool

Answer 1

La définition de $ est

f $ x = f x

Soit de votre fonction parenthésée pleinement:

every f xs = (liftM (all id)) (sequence ((map f) xs))

et votre version cari:

every = (liftM (all id)) (sequence map)

Comme vous l'avez remarqué, ce ne sont pas identiques. Vous ne pouvez arguments de la fonction drop arrière quand ils sont la dernière chose appliquée. Par exemple,

f x = g c x

est en fait

f x = (g c) x

et l'application de (g c) x vient en dernier, de sorte que vous pouvez écrire

f = g c

Un modèle avec l'opérateur d'application $ est qu'il devient souvent l'opérateur de composition. dans les versions points libres. En effet,

f $ g $ x

est équivalent à

(f . g) $ x

Par exemple,

every f xs = liftM (all id) $ sequence $ map f xs

peut devenir

every f xs = (liftM (all id) . sequence . map f) xs

à quel point vous pouvez déposer xs:

every f = liftM (all id) . sequence . map f

L'élimination du f argument est plus difficile, car il est appliqué avant que l'opérateur de composition. Utilisons la définition du point de http://www.haskell.org/haskellwiki/Pointfree :

dot = ((.) . (.))

Avec des points, c'est

(f `dot` g) x = f . g x

et est exactement ce que nous devons faire tous les points sans pleinement:

every = (liftM (all id) . sequence) `dot` map

Malheureusement, en raison des restrictions du système de type Haskell, celui-ci a besoin d'une signature de type explicite:

every :: (Monad m) => (a -> m Bool) -> [a] -> m Bool