IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Haskell Discussion :

Mélange de lift et de composition


Sujet :

Haskell

  1. #1
    Membre averti
    Avatar de Chatanga
    Profil pro
    Inscrit en
    Décembre 2005
    Messages
    211
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Décembre 2005
    Messages : 211
    Points : 346
    Points
    346
    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 : Sélectionner tout - Visualiser dans une fenêtre à part
    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 éminent sénior

    Avatar de Alp
    Homme Profil pro
    Inscrit en
    Juin 2005
    Messages
    8 575
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 35
    Localisation : France, Bouches du Rhône (Provence Alpes Côte d'Azur)

    Informations forums :
    Inscription : Juin 2005
    Messages : 8 575
    Points : 11 860
    Points
    11 860
    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 averti
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Mai 2009
    Messages
    97
    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 : 97
    Points : 307
    Points
    307
    Par défaut
    Cela est possible via l'utilisation de la structure de donnée Kleisli:

    Code haskell : Sélectionner tout - Visualiser dans une fenêtre à part
    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 : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
     
    Kleisli g >>> arr f

Discussions similaires

  1. Réponses: 15
    Dernier message: 14/12/2004, 19h01
  2. [FLASH MX2004][AS2] Composition
    Par bolo dans le forum Flash
    Réponses: 9
    Dernier message: 10/12/2004, 17h53
  3. Aide sur la création d'un type simple (nom composite)
    Par testeur dans le forum PostgreSQL
    Réponses: 1
    Dernier message: 06/11/2004, 21h30
  4. clés composites
    Par Yuna dans le forum Administration
    Réponses: 12
    Dernier message: 08/01/2004, 10h14
  5. [WSAD] Composition visuelle d'une applet
    Par schum11 dans le forum Eclipse Java
    Réponses: 1
    Dernier message: 09/04/2003, 17h19

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo