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

Recherche:

Type: Messages; Utilisateur: gg373

Recherche: Recherche effectuée en 0,01 secondes.

  1. Votes reçus
    +0 -0
    Réponses
    3
    Affichages
    1 728

    Quantification existentielle pour définir les paires

    Je me penche actuellement sur la quantification existentielle et j'avoue que je peine mais ça avance petit à petit. Il y a cependant une partie de l'article...
  2. Votes reçus
    +0 -0
    Réponses
    3
    Affichages
    1 645

    But de ce filtre ?

    Salut,

    A la lecture de la signature de cette fonction, il semble qu'elle prend une liste de chaînes, la filtre (saute les chaînes entre "%" inclusivement et "\n" exclusivement) et ajoute cette...
  3. Discussion: Les nombres parfaits

    par gg373
    Votes reçus
    +0 -0
    Réponses
    8
    Affichages
    7 898

    Oups, désolé, j'ai oublié les imports : ...

    Oups, désolé, j'ai oublié les imports :


    import List
    import Monad
  4. Discussion: Les nombres parfaits

    par gg373
    Votes reçus
    +0 -0
    Réponses
    8
    Affichages
    7 898

    Je ne sais pas trop si un programme hyper-concis...

    Je ne sais pas trop si un programme hyper-concis est pour autant mieux.
    L'exemple des nombres parfaits est intéressant, car le code donné dans les messages précédents relève assez de la force brute....
  5. Discussion: Problème de signature

    par gg373
    Votes reçus
    +0 -0
    Réponses
    3
    Affichages
    1 969

    Bonjour ! Merci de vos réponses lumineuses. Je...

    Bonjour !

    Merci de vos réponses lumineuses. Je débute avec l'excellent ouvrage de Miran Lipovaca. Je me demande s'il y a mieux dans ce cas...

    @Ptival : oui mon message est un peu confus car...
  6. Discussion: Problème de signature

    par gg373
    Votes reçus
    +0 -0
    Réponses
    3
    Affichages
    1 969

    Problème de signature

    Je débute. Et je bute sur un problème régulièrement. Impossible d'écrire une signature de fonction acceptée par GHCi.
    Par exemple, la dernière fonction que j'ai écrite pour simplement résoudre une...
Affichage des résultats 1 à 6 sur 6