by

Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Xavier Van de Woestyne
    @xvw
    Comme le but de l'article est d'être une introduction accessible, je pense que ton point est bon, si jamais j'ai des retours dans cette direction, je corrigerai
    Julien Truffaut
    @julien-truffaut
    j'aime bien ta definition d'effet de bord, c'est tres clair.
    désolé de retourner sur le sujet, mais du coup, pourquoi aleatoire c'est un effet et pas un effet de bord?
    comment est ce que tu encodes aleatoire dans ton type?
    Xavier Van de Woestyne
    @xvw
    Si tu exprimes dans la signature de type que la valeur est aléatoire et que l'émission de l'aléa est propagé : random_int : () -> random int
    randomest l'effet et int est la valeur de retour
    dans la signature, on a une expression assez précise de l'effet produit par la fonction ?
    Julien Truffaut
    @julien-truffaut
    ok, je vois. Merci.
    Xavier Van de Woestyne
    @xvw
    Après, mes définitions sont discutables :)
    Julien Truffaut
    @julien-truffaut
    non ca a du sens, je me demandais quel type constructor "standard" tu utilisas pour Random.
    Xavier Van de Woestyne
    @xvw
    Dans koka ils utilisent ndet :P
    (ce qui corrobore ton premier propos)
    Nicolas Rinaudo
    @nrinaudo
    J’ai trouvé l’article passionnant, merci @xvw
    Tu considères en faire un talk? Disons pour scala.io, au hasard?
    Xavier Van de Woestyne
    @xvw
    Merci Nicolas. Non Nicolas :/
    etienne
    @crakjie
    @xvw omg l'article est en francais :kissing_heart:
    Xavier Van de Woestyne
    @xvw
    (en vrai, ce n'est pas par choix, mais par incompétence :D)
    etienne
    @crakjie
    Et bien sa match tres bien avec ma propre incompetence ;)
    Xavier Van de Woestyne
    @xvw
    ;) yeah
    etienne
    @crakjie
    @xvw pourquoi l'exception est un effet ? Ca pourrais etre considerer comme le simple resultat d'un calcul ?
    return c'est un effet?
    Nicolas Francois
    @Koisell
    en effet @crakjie si ta fonction renvoie une exception (return pas throw) ce n'est pas un effect
    en revanche si ta fonction renvoie un A mais qu'une exception peut apparaître alors c'est un effet (même un effet de bord si c'est via throw)
    De la même façon qu'il existe un effet qui représente l'absence de valeur avec Option
    et la version effet de bord car on est en Scala null
    Francois Armand
    @fanf
    @crakjie j'en parle un peu dans mon talk scala.io: https://www.youtube.com/watch?v=q0PlcgR5M1Q En gros, si ca ne peut pas se capturer et se manipuler comme une valeur, ou si ca casse la transparence référentielle, ou le raisonnement par équivalence, si ca dépend d'un contexte d'exécution, si ca sort de borne de la fonction en cours, bref si ca fait mentir ton code sur ce qu'il fait vraiment, c'est un effet (définition avec les mains)
    etienne
    @crakjie
    et un throw exception fait mentir sur le code?
    Julien Truffaut
    @julien-truffaut
    ca se voit pas dans la signature
    etienne
    @crakjie
    je parle pas des exception en scala
    mais dans un language qui les gerecomme en java
    Julien Truffaut
    @julien-truffaut
    si ca se voit dans la signature, alors ce n'est pas un effet de bord
    etienne
    @crakjie
    C'est ce que je pensais a priori , mais es-ce que c'est un effet ? et si oui es-ce que l'on peut considerer return comme un effet?
    Julien Truffaut
    @julien-truffaut
    je trouve que l'article de Xavier explique bien ca
    etienne
    @crakjie
    Je me pose ces question a la suite de la lecture justement
    Francois Armand
    @fanf
    alors, c'est moins pire si ca se voit dans la signature (je parle des check exceptions de java à la fin), mais ca reste quand même un effet qui casse la composition, et c'est embétant, et c'est plus agréable de travailler avec du code pas embétant
    Xavier Van de Woestyne
    @xvw
    Avec un gestionnaire d'effets en quoi ça casse la composition ?
    Francois Armand
    @fanf
    @xvw :) Il parlait juste de "sentir" ce qu'est un effet. Pas de comment faire pour qu'un effet n'est pas les effets qu'on n'aime pas des effets
    (ie: je suis ok avec toi, mais je crois que ce n'était pas sa question - mais je peux ne pas avoir compris non plus)
    Loïc Descotte
    @loicdescotte
    Très bon talk de @julien-truffaut à Scala in the city en ce moment!
    Julien Truffaut
    @julien-truffaut
    merci
    Julien Truffaut
    @julien-truffaut
    Bonjour tout le monde, est ce que ca interesserait quelqu'un de traduire les sous-titres pour mon MOOC sur la programation fonctionelle en Scala (https://www.fp-tower.com/courses/foundations). Je le ferais bien moi meme mais je ne suis pas capable d'ecrire un phrase en francais sans faute... Je peux soit payer pour la traduction, soit offrir des places gratuites. Hésitez pas a me pm. Merci.
    Xavier Van de Woestyne
    @xvw
    Ya beaucoup?
    Julien Truffaut
    @julien-truffaut
    pour le moment non, mais le cours entier aura entre 20-25 videos de 10 minutes
    je pense produire entre 2-4 videos par moi d'ici début 2021. La traduction peut etre faite par plusieurs personnes.
    Xavier Van de Woestyne
    @xvw
    Si tu as un repo, je contribuerais avec joie @julien-truffaut 😉
    Julien Truffaut
    @julien-truffaut
    J'ai un repo pour les exercises et les slides mais les videos ne sont pas publiques. Est ce que tu peux me donner ton email en pm?
    Xavier Van de Woestyne
    @xvw
    Des que je suis sur un ordi. J'arrive pas sur mobile 😂
    Julien Truffaut
    @julien-truffaut
    ahah
    je suis debile, c'est sur ton profil
    Xavier Van de Woestyne
    @xvw
    👌