p
u
b
l
i
c
i
t
é
publicité
  1. #1
    Membre confirmé
    Avatar de Chatanga
    Inscrit en
    décembre 2005
    Messages
    186
    Détails du profil
    Informations forums :
    Inscription : décembre 2005
    Messages : 186
    Points : 286
    Points
    286

    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 Confirmé Sénior

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

    Informations forums :
    Inscription : juin 2005
    Messages : 8 583
    Points : 11 409
    Points
    11 409

    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 éclairé
    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 : 304
    Points
    304

    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, 18h01
  2. [FLASH MX2004][AS2] Composition
    Par bolo dans le forum Flash
    Réponses: 9
    Dernier message: 10/12/2004, 16h53
  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, 20h30
  4. clés composites
    Par Yuna dans le forum Administration
    Réponses: 12
    Dernier message: 08/01/2004, 09h14
  5. [WSAD] Composition visuelle d'une applet
    Par schum11 dans le forum Eclipse Java
    Réponses: 1
    Dernier message: 09/04/2003, 16h19

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