Publicité
+ Répondre à la discussion
Affichage des résultats 1 à 3 sur 3
  1. #1
    Membre confirmé
    Avatar de Chatanga
    Inscrit en
    décembre 2005
    Messages
    184
    Détails du profil
    Informations forums :
    Inscription : décembre 2005
    Messages : 184
    Points : 260
    Points
    260

    Par défaut Mélange de lift et de composition

    Existe-t-il une méthode dans l’une des nombreuses bibliothèques standards d’Haskell qui fait ça ?

    Code :
    1
    2
    compose :: Monad m => (b -> c) -> (a -> m b) -> (a -> m c)
    compose f g x = liftM f (g x)
    Ce n’est pas le code du siècle, mais je l’utilise relativement souvent et, en règle générale, chaque fois que je ressens le besoin d’une fonction utilitaire en Haskell, je la découvre rapidement dans le standard. Comme ce n’est pas le cas ici, il est possible que mon code soit inutilement alambiqué.

  2. #2
    Alp
    Alp est déconnecté
    Expert Confirmé Sénior
    Avatar de Alp
    Homme Profil pro
    Inscrit en
    juin 2005
    Messages
    8 584
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 25
    Localisation : France, Bouches du Rhône (Provence Alpes Côte d'Azur)

    Informations forums :
    Inscription : juin 2005
    Messages : 8 584
    Points : 10 421
    Points
    10 421

    Par défaut

    Ta fonction correspond aussi à
    mais je ne pense pas qu'il y ait une fonction toute faite pour ça. Au pire, tu peux te créer un opérateur infixe pour ça et t'en servir à la place pour rendre le code plus clair. Ou alors à coups de

  3. #3
    Membre confirmé
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    mai 2009
    Messages
    98
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France

    Informations professionnelles :
    Activité : Ingénieur développement logiciels
    Secteur : Finance

    Informations forums :
    Inscription : mai 2009
    Messages : 98
    Points : 280
    Points
    280

    Par défaut

    Cela est possible via l'utilisation de la structure de donnée Kleisli:

    Code haskell :
    1
    2
    newtype Kleisli m a b = Kleisli {runKleisli :: a -> m b}

    où tu n'auras pas besoin de créer une fonction spécifique vu que Kleisli est un Arrow qui te fourni donc l'opérateur (>>>) qui lui même permet la composition.

    Ce bout de code est équivalent à ta fonction compose.

    Code haskell :
    1
    2
    Kleisli g >>> arr f

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •