From gautier.difolco at gmail.com Wed Apr 2 18:30:09 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Wed, 2 Apr 2014 20:30:09 +0200 Subject: [Haskell-fr] Demande de revue de code Message-ID: Bonjour, Je vais animer un coding dojo pour montrer que l'immutabilit? c'est cool. Du coup j'ai pos? le sujet et j'ai fais une implantation en Haskell que j'aimerais bien que vous voyiez : https://github.com/blackheaven/dojo_14-04-10/blob/master/fonctionnel/haskell/src/Thermometre.hs (il y a des tests si vous avez du mal) J'aimerais bien des retours pour rendre mon code le plus idiomatique possible. S'il y a des type class qu'on peut utiliser en plus, etc. Ma derni?re fonction est hyper compliqu?e, existe-t-il un moyen de la simplifier ? J'ai un type class en commentaire que je ne suis pas arriv? ? faire, si vous pouviez me dire pourquoi ?a n'a pas fonctionn?, je vous en serait tr?s reconnaissant. Si vous pouviez prendre un peu de votre temps pour moi, Merci par avance. -------------- next part -------------- An HTML attachment was scrubbed... URL: From vildric at gmail.com Wed Apr 2 21:22:31 2014 From: vildric at gmail.com (vildric) Date: Wed, 02 Apr 2014 17:22:31 -0400 Subject: [Haskell-fr] Demande de revue de code Message-ID: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Si c'est pour des gens qui ne connaissent pas Haskell, tu ne devrais pas utiliser la composition de fonction, c'est assez difficile de comprendre pour des non-initi?s. Envoy? depuis ma tablette Samsung -------- Message d'origine -------- De : Gautier DI FOLCO Date : 04/02/2014 2:30 PM (GMT-05:00) ? : La liste Haskell Francophone Objet : [Haskell-fr] Demande de revue de code Bonjour, Je vais animer un coding dojo pour montrer que l'immutabilit? c'est cool. Du coup j'ai pos? le sujet et j'ai fais une implantation en Haskell que j'aimerais bien que vous voyiez : https://github.com/blackheaven/dojo_14-04-10/blob/master/fonctionnel/haskell/src/Thermometre.hs (il y a des tests si vous avez du mal) J'aimerais bien des retours pour rendre mon code le plus idiomatique possible. S'il y a des type class qu'on peut utiliser en plus, etc. Ma derni?re fonction est hyper compliqu?e, existe-t-il un moyen de la simplifier ? J'ai un type class en commentaire que je ne suis pas arriv? ? faire, si vous pouviez me dire pourquoi ?a n'a pas fonctionn?, je vous en serait tr?s reconnaissant. Si vous pouviez prendre un peu de votre temps pour moi, Merci par avance. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Wed Apr 2 21:50:09 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Wed, 2 Apr 2014 23:50:09 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 2 avril 2014 23:22, vildric a ?crit : > Si c'est pour des gens qui ne connaissent pas Haskell, tu ne devrais pas > utiliser la composition de fonction, c'est assez difficile de comprendre > pour des non-initi?s. > Ce n'est pas le but. Mes buts sont : 1. M'am?liorer 2. Montrer la puissance du fonctionnel Qu'ils ne comprennent pas chaque ?l?ment du code, ?a, je m'y attends, qu'ils comprennent les id?es globales et les idiomes quand je leur expliquerait, ?a, c'est plus compliqu?, mais du moment qu'ils en retiennent un, je suis content. Bref, je cherche ? avoir le code le plus idiomatique possible. -------------- next part -------------- An HTML attachment was scrubbed... URL: From valentin.robert.42 at gmail.com Wed Apr 2 22:01:20 2014 From: valentin.robert.42 at gmail.com (Valentin Robert) Date: Wed, 2 Apr 2014 15:01:20 -0700 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Peux-tu lister les th?mes que tu souhaites aborder ? Et les lier aux parties de ton code ? J'ai du mal ? voir la puissance du fonctionnel dans ton code. - Valentin 2014-04-02 14:50 GMT-07:00 Gautier DI FOLCO : > Le 2 avril 2014 23:22, vildric a ?crit : > > Si c'est pour des gens qui ne connaissent pas Haskell, tu ne devrais pas >> utiliser la composition de fonction, c'est assez difficile de comprendre >> pour des non-initi?s. >> > > Ce n'est pas le but. > Mes buts sont : > 1. M'am?liorer > 2. Montrer la puissance du fonctionnel > > Qu'ils ne comprennent pas chaque ?l?ment du code, ?a, je m'y attends, > qu'ils comprennent les id?es globales et les idiomes quand je leur > expliquerait, ?a, c'est plus compliqu?, mais du moment qu'ils en retiennent > un, je suis content. > Bref, je cherche ? avoir le code le plus idiomatique possible. > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Thu Apr 3 07:35:18 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Thu, 3 Apr 2014 09:35:18 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 3 avril 2014 00:01, Valentin Robert a ?crit : > Peux-tu lister les th?mes que tu souhaites aborder ? Et les lier aux > parties de ton code ? > En gros c'est un coding dojo TDD sur l'immutabilit?. L'id?e est de montrer ? ceux qui font de la POO/imp?ratif qu'ils n'ont pas besoin de "changer d'?tat" pour arriver ? leurs fin. (Grosso-modo : mettre moins de POO et plus de fonctionnelle, ?a fait un code plus beau) Typiquement, les points clefs : - TDD - Immutabilit? - ValueObject (tir? de DDD) : l. 17 - 50 - Mono?des : l. 56 - 78 J'ai du mal ? voir la puissance du fonctionnel dans ton code. > dur -------------- next part -------------- An HTML attachment was scrubbed... URL: From hsyl20 at gmail.com Thu Apr 3 08:44:51 2014 From: hsyl20 at gmail.com (Sylvain Henry) Date: Thu, 3 Apr 2014 10:44:51 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Pour faire du TDD, je montrerais QuickCheck. Pour l'immutabilit?, je montrerais les Lenses. Eviter d'utiliser des listes partout, notamment dans DayStmt, WeekStmt et MonthStmt, vu que le nombre de champs est fixe. Utiliser des lenses ici serait pas mal, surtout pour r??crire la fonction finale. Si je comprends bien elle fait une s?lection et une r?duction, donc parfait avec des lenses. Je ne suis pas convaincu par le Monoid, une simple fonction de r?duction suffirait : toStats :: [Temperature] -> Statistics L? c'est compliqu? inutilement je trouve. Sylvain Le 3 avril 2014 09:35, Gautier DI FOLCO a ?crit : > Le 3 avril 2014 00:01, Valentin Robert a > ?crit : > > Peux-tu lister les th?mes que tu souhaites aborder ? Et les lier aux >> parties de ton code ? >> > > En gros c'est un coding dojo TDD sur l'immutabilit?. > L'id?e est de montrer ? ceux qui font de la POO/imp?ratif qu'ils n'ont pas > besoin de "changer d'?tat" pour arriver ? leurs fin. > (Grosso-modo : mettre moins de POO et plus de fonctionnelle, ?a fait un > code plus beau) > Typiquement, les points clefs : > - TDD > - Immutabilit? > - ValueObject (tir? de DDD) : l. 17 - 50 > - Mono?des : l. 56 - 78 > > J'ai du mal ? voir la puissance du fonctionnel dans ton code. >> > > dur > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Thu Apr 3 09:00:15 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Thu, 3 Apr 2014 11:00:15 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 3 avril 2014 10:44, Sylvain Henry a ?crit : > Pour l'immutabilit?, je montrerais les Lenses. > Bonne id?e > Eviter d'utiliser des listes partout, notamment dans DayStmt, WeekStmt et > MonthStmt, vu que le nombre de champs est fixe. > Pas forc?ment, tu ne peux avoir que les relev?s de 40 jours par exemple, ce qui fais que tu as un mois et une semaine incompl?te. > Utiliser des lenses ici serait pas mal, surtout pour r??crire la fonction > finale. Si je comprends bien elle fait une s?lection et une r?duction, donc > parfait avec des lenses. > > Je ne suis pas convaincu par le Monoid, une simple fonction de r?duction > suffirait : > toStats :: [Temperature] -> Statistics > L? c'est compliqu? inutilement je trouve. > Du coup tu perds la notion de groupes de relev?s (jour, semaines, mois) et tu te retrouve ? g?rer le "conflit" ?C/?F en m?me temps que le calcul des stats. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Thu Apr 3 14:10:16 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Thu, 3 Apr 2014 16:10:16 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 3 avril 2014 11:00, Gautier DI FOLCO a ?crit : > Le 3 avril 2014 10:44, Sylvain Henry a ?crit : > > Pour l'immutabilit?, je montrerais les Lenses. >> > > Bonne id?e > > >> Eviter d'utiliser des listes partout, notamment dans DayStmt, WeekStmt et >> MonthStmt, vu que le nombre de champs est fixe. >> > > Pas forc?ment, tu ne peux avoir que les relev?s de 40 jours par exemple, > ce qui fais que tu as un mois et une semaine incompl?te. > > >> Utiliser des lenses ici serait pas mal, surtout pour r??crire la fonction >> finale. Si je comprends bien elle fait une s?lection et une r?duction, donc >> parfait avec des lenses. >> > > > >> Je ne suis pas convaincu par le Monoid, une simple fonction de r?duction >> suffirait : >> toStats :: [Temperature] -> Statistics >> L? c'est compliqu? inutilement je trouve. >> > > Du coup tu perds la notion de groupes de relev?s (jour, semaines, mois) et > tu te retrouve ? g?rer le "conflit" ?C/?F en m?me temps que le calcul des > stats. > si je donne l'impression de vous rembarrer pour le plaisir, il n'en est rien, je tente juste d'exposer mes choix et de comprendre ce qui ne va pas (et j'ai l'impression de mal m'exprimer). Le but c'est de montrer le TDD, il y a un aspect incr?mental ? mettre en valeur et arriver ? quelque chose de complexe en partant de choses simple ? mettre en valeur. Le coding dojo en lui m?me n'est pas sp?cifiquement fonctionnel (je pense qu'on sera 3/20 ? coder dans un langage fonctionnel, au sens large), mon but est de dire : la POO ne r?sout pas tout proprement, regardez en FP. Je pense mes intentions sont plus claires. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Thu Apr 3 14:33:16 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Thu, 3 Apr 2014 16:33:16 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Bonjour Gautier, Je ne vois pas trop la partie TDD, je trouve personnellement les tests peu expressifs. IMHO illustrer le TDD en Haskell implique de partir de Quickcheck. Tes tests sur l'?galit? et les propri?t?s des Temperatures pourraient tirer parti de cet outil par exemple. Par ailleurs si tu veux utiliser HSpec alors je te sugg?rerai de "suivre le grain" de l'API. describe "Both Fahrenheit" $ do it "same" $ do c'est pas tr?s "beau", il serait plus logique d'avoir quelque chose du genre: describe "Both Fahrenheit" $ do it "should be equal given same value" $ do it "should be different given different values" $ do Mais encore une fois, l'exemple choisi se pr?terait pas mal ? l'utilisation de quickcheck. Dans le code principal, je ne vois pas trop le probl?me que tu as avec ta classe: j'arrive ? compiler ce code sans probl?me en rajoutant les flags qui vont bien (ghc me le dit...). Je ne suis pas s?r non plus que l'utilisation intensive d'une notation "point-free" aide ? la compr?hension.... Surtout avec un pipeline de 10 fonctions. Je te sugg?rerai de d?tailler chaque partie de la fonction. Une approche que j'aime bien utiliser et qui fonctionne bien en Haskell c'est de partir de la fonction principale qui ne fait rien, puis de la d?composer. Cordialement, -- Arnaud Bailly FoldLabs Associate: http://foldlabs.com 2014-04-03 16:10 GMT+02:00 Gautier DI FOLCO : > Le 3 avril 2014 11:00, Gautier DI FOLCO a > ?crit : > > Le 3 avril 2014 10:44, Sylvain Henry a ?crit : >> >> Pour l'immutabilit?, je montrerais les Lenses. >>> >> >> Bonne id?e >> >> >>> Eviter d'utiliser des listes partout, notamment dans DayStmt, WeekStmt >>> et MonthStmt, vu que le nombre de champs est fixe. >>> >> >> Pas forc?ment, tu ne peux avoir que les relev?s de 40 jours par exemple, >> ce qui fais que tu as un mois et une semaine incompl?te. >> >> >>> Utiliser des lenses ici serait pas mal, surtout pour r??crire la >>> fonction finale. Si je comprends bien elle fait une s?lection et une >>> r?duction, donc parfait avec des lenses. >>> >> >> >> >>> Je ne suis pas convaincu par le Monoid, une simple fonction de r?duction >>> suffirait : >>> toStats :: [Temperature] -> Statistics >>> L? c'est compliqu? inutilement je trouve. >>> >> >> Du coup tu perds la notion de groupes de relev?s (jour, semaines, mois) >> et tu te retrouve ? g?rer le "conflit" ?C/?F en m?me temps que le calcul >> des stats. >> > > si je donne l'impression de vous rembarrer pour le plaisir, il n'en est > rien, je tente juste d'exposer mes choix et de comprendre ce qui ne va pas > (et j'ai l'impression de mal m'exprimer). > Le but c'est de montrer le TDD, il y a un aspect incr?mental ? mettre en > valeur et arriver ? quelque chose de complexe en partant de choses simple ? > mettre en valeur. > Le coding dojo en lui m?me n'est pas sp?cifiquement fonctionnel (je pense > qu'on sera 3/20 ? coder dans un langage fonctionnel, au sens large), mon > but est de dire : la POO ne r?sout pas tout proprement, regardez en FP. > Je pense mes intentions sont plus claires. > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From alpmestan at gmail.com Thu Apr 3 16:19:16 2014 From: alpmestan at gmail.com (Alp Mestanogullari) Date: Thu, 3 Apr 2014 18:19:16 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Peut ?tre devrais-tu attendre un peu d'avoir un chouilla plus de bouteille. Pour l'instant je trouve que ca manque un peu de profondeur, que ca s'inscrit dans les discussions qu'on voit partout o? on lit beaucoup de choses mais o? il nous manque une vraie perc?e qui change notre perspective. Quand cela arrive, tu le sais, tu peux alors tout expliquer sans te poser de questions. Pour le coup, l'auteur de hspec est un de mes coworkers, et il y a quelques jours il a fait un mini talk ? l'?quipe o? il parlait de TDD en haskell pr?cis?ment. Et oui il faut parler des libs centrales, certaines avec des id?es si int?ressantes qu'elles ont fait l'objet de papers. Il faut parler de puret? aussi, et aussi de comment ca se rattache aux types (plus un type est abstrait, moins tu peux te reposer sur ses sp?cificit?s, moins il y a d'impl?mentations possibles, plus il y a de chances que ton code soit correct par construction, i.e juste par le fait qu'il typecheck, en gros la fa?on dont Edward Kmett ?crit ses libs -- et l? tu ne fais plus du TDD m?me si on a en g?n?ral quand m?me des tests mais ils ont une place moins importante). En gros je pense que pour d?montrer des choses sur tout ca en Haskell, il faut avoir une bonne id?e de la vue globale, et que du coup ca demande un certain temps. Si tu te sens assez ? l'aise avec tout ?a fonce, mais sinon j'ai peur que tu leur montres juste limite "une autre syntaxe" pour faire des tests et qu'ils verront juse ?a comme quelqu'un qui pr?sente les trucs cools de son langage. Alors que je pense vraiment que Haskell a d'?normes longueurs d'avance sur pleins de sujets, et c'est parce qu'on pense tous ?a dans mon ?quipe que l'on s'est lanc? dans un sacr? d?fi :) Le 3 avr. 2014 16:10, "Gautier DI FOLCO" a ?crit : > Le 3 avril 2014 11:00, Gautier DI FOLCO a > ?crit : > >> Le 3 avril 2014 10:44, Sylvain Henry a ?crit : >> >> Pour l'immutabilit?, je montrerais les Lenses. >>> >> >> Bonne id?e >> >> >>> Eviter d'utiliser des listes partout, notamment dans DayStmt, WeekStmt >>> et MonthStmt, vu que le nombre de champs est fixe. >>> >> >> Pas forc?ment, tu ne peux avoir que les relev?s de 40 jours par exemple, >> ce qui fais que tu as un mois et une semaine incompl?te. >> >> >>> Utiliser des lenses ici serait pas mal, surtout pour r??crire la >>> fonction finale. Si je comprends bien elle fait une s?lection et une >>> r?duction, donc parfait avec des lenses. >>> >> >> >> >>> Je ne suis pas convaincu par le Monoid, une simple fonction de r?duction >>> suffirait : >>> toStats :: [Temperature] -> Statistics >>> L? c'est compliqu? inutilement je trouve. >>> >> >> Du coup tu perds la notion de groupes de relev?s (jour, semaines, mois) >> et tu te retrouve ? g?rer le "conflit" ?C/?F en m?me temps que le calcul >> des stats. >> > > si je donne l'impression de vous rembarrer pour le plaisir, il n'en est > rien, je tente juste d'exposer mes choix et de comprendre ce qui ne va pas > (et j'ai l'impression de mal m'exprimer). > Le but c'est de montrer le TDD, il y a un aspect incr?mental ? mettre en > valeur et arriver ? quelque chose de complexe en partant de choses simple ? > mettre en valeur. > Le coding dojo en lui m?me n'est pas sp?cifiquement fonctionnel (je pense > qu'on sera 3/20 ? coder dans un langage fonctionnel, au sens large), mon > but est de dire : la POO ne r?sout pas tout proprement, regardez en FP. > Je pense mes intentions sont plus claires. > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Thu Apr 3 17:20:14 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Thu, 3 Apr 2014 19:20:14 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: <4720D6DC-12F0-48C4-8CB8-3EE08B84B2B7@gmail.com> J?ai fait un exercice de ce genre au Scala User Group il y a un ou deux ans: https://github.com/abailly/haskell-synthesizer Ca introduit les types de donn?es, la composition, la laziness (listes infinis) et m?me l?interaction avec le syst?me, le tout dans un truc qui fait du bruit. HTH Arnaud On 03 Apr 2014, at 16:10, Gautier DI FOLCO wrote: > Le 3 avril 2014 11:00, Gautier DI FOLCO a ?crit : > Le 3 avril 2014 10:44, Sylvain Henry a ?crit : > > Pour l'immutabilit?, je montrerais les Lenses. > > Bonne id?e > > Eviter d'utiliser des listes partout, notamment dans DayStmt, WeekStmt et MonthStmt, vu que le nombre de champs est fixe. > > Pas forc?ment, tu ne peux avoir que les relev?s de 40 jours par exemple, ce qui fais que tu as un mois et une semaine incompl?te. > > Utiliser des lenses ici serait pas mal, surtout pour r??crire la fonction finale. Si je comprends bien elle fait une s?lection et une r?duction, donc parfait avec des lenses. > > > Je ne suis pas convaincu par le Monoid, une simple fonction de r?duction suffirait : > toStats :: [Temperature] -> Statistics > L? c'est compliqu? inutilement je trouve. > > Du coup tu perds la notion de groupes de relev?s (jour, semaines, mois) et tu te retrouve ? g?rer le "conflit" ?C/?F en m?me temps que le calcul des stats. > > si je donne l'impression de vous rembarrer pour le plaisir, il n'en est rien, je tente juste d'exposer mes choix et de comprendre ce qui ne va pas (et j'ai l'impression de mal m'exprimer). > Le but c'est de montrer le TDD, il y a un aspect incr?mental ? mettre en valeur et arriver ? quelque chose de complexe en partant de choses simple ? mettre en valeur. > Le coding dojo en lui m?me n'est pas sp?cifiquement fonctionnel (je pense qu'on sera 3/20 ? coder dans un langage fonctionnel, au sens large), mon but est de dire : la POO ne r?sout pas tout proprement, regardez en FP. > Je pense mes intentions sont plus claires. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Thu Apr 3 17:32:53 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Thu, 3 Apr 2014 19:32:53 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 3 avril 2014 16:33, Arnaud Bailly a ?crit : > Je ne vois pas trop la partie TDD, je trouve personnellement les tests peu > expressifs. > Je pensais le faire vis-?-vis de la "distillation" des sp?cifications, je m'explique. J'ai un diaporama qui va contenir les instructions que je d?voilerais au fur et ? mesure : - Les temp?ratures sont envoy?es soit en ?C soit en ?F, la pr?cision est d 'une d?cimale. * T(?C) = (T(?F) - 32)/1.8 * T(?F) = T(?C) * 1.8 + 32 - Les temp?ratures sont r?colt?es matin et soir et sont envoy?es par ordre de r?colte, en commen?ant par un matin. - On veut les statistiques suivantes pour toutes les valeurs re?ues : Minimum / Maximum / Moyenne On veut le r?sultat en ?F uniquement si toutes les valeurs sont en ?F. - On veut ces statistiques uniquement pour les mesures du matin ou uniquement pour les mesures l'apr?s midi. - On veut ces statistiques par semaine. - On veut ces statistiques par mois. - On veut ces statistiques par mois pour les lundi matin des semaines paires. L'id?e est d'instaurer un certain rythme. IMHO illustrer le TDD en Haskell implique de partir de Quickcheck. Tes > tests sur l'?galit? et les propri?t?s des Temperatures pourraient tirer > parti de cet outil par exemple. > J'ai un peu de mal ? voir quelles propri?t?s tester. > Par ailleurs si tu veux utiliser HSpec alors je te sugg?rerai de "suivre > le grain" de l'API. > > describe "Both Fahrenheit" $ do > it "same" $ do > > c'est pas tr?s "beau", il serait plus logique d'avoir quelque chose du > genre: > > describe "Both Fahrenheit" $ do > it "should be equal given same value" $ do > it "should be different given different values" $ do > > Je plaide coupable, mais j'aurais le m?me probl?me de nommage avec RSpec. > Dans le code principal, je ne vois pas trop le probl?me que tu as avec ta > classe: j'arrive ? compiler ce code sans probl?me en rajoutant les flags > qui vont bien (ghc me le dit...). > Au moment de l'appel du programme via le shell ? J'utilise cabal, du coup je suppose que je dois regarder comment l'ajouter dedans. > Je ne suis pas s?r non plus que l'utilisation intensive d'une notation > "point-free" aide ? la compr?hension.... Surtout avec un pipeline de 10 > fonctions. Je te sugg?rerai de d?tailler chaque partie de la fonction. > ok, mais le but n'est pas qu'ils comprennent l'int?gralit? de la fonction, toujours est-il que ?a ne me co?te rien de le faire. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Thu Apr 3 17:52:46 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Thu, 3 Apr 2014 19:52:46 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 3 avril 2014 18:19, Alp Mestanogullari a ?crit : > Peut ?tre devrais-tu attendre un peu d'avoir un chouilla plus de bouteille. > oui et non. oui, je suis clairement au d?but du chemin, je le sais, mais non, je ne peux pas attendre, tout est pr?vu, plus moyen de reculer. > Pour l'instant je trouve que ca manque un peu de profondeur, que ca > s'inscrit dans les discussions qu'on voit partout o? on lit beaucoup de > choses mais o? il nous manque une vraie perc?e qui change notre > perspective. Quand cela arrive, tu le sais, tu peux alors tout expliquer > sans te poser de questions. > J'en suis conscient, c'est une des choses qui m'a pouss? ? "arr?ter" l'animation. Le soucis c'est que cette perc?e, je n'ai pas pu la faire en lisant un grand nombre de documents sur le sujet, du coup il me faut de la pratique et beaucoup de temps. Faute de mieux, pour le moment, je me fais la main l? dessus. > Il faut parler de puret? aussi, et aussi de comment ca se rattache aux > types (plus un type est abstrait, moins tu peux te reposer sur ses > sp?cificit?s, moins il y a d'impl?mentations possibles, plus il y a de > chances que ton code soit correct par construction, i.e juste par le fait > qu'il typecheck, en gros la fa?on dont Edward Kmett ?crit ses libs -- et l? > tu ne fais plus du TDD m?me si on a en g?n?ral quand m?me des tests mais > ils ont une place moins importante). > C'est l? o? je s?che et o? je sais que le s?cherais tant que je ne me saurais pas pris assez de "coups". > En gros je pense que pour d?montrer des choses sur tout ca en Haskell, il > faut avoir une bonne id?e de la vue globale, et que du coup ca demande un > certain temps. > Je suis de ton avis et je sais que ?a n'est pas mon cas. > Si tu te sens assez ? l'aise avec tout ?a fonce, mais sinon j'ai peur que > tu leur montres juste limite "une autre syntaxe" pour faire des tests et > qu'ils verront juse ?a comme quelqu'un qui pr?sente les trucs cools de son > langage. > Non, je ne suis pas ? l'aise, pas suffisamment du moins. J'ai la pr?tention de pr?senter l?g?rement plus qu'une autre syntaxe pour le programme principal, pour les tests, ?a reste tr?s tr?s proche de RSpec, donc rien de neuf. > Alors que je pense vraiment que Haskell a d'?normes longueurs d'avance sur > pleins de sujets, et c'est parce qu'on pense tous ?a dans mon ?quipe que > l'on s'est lanc? dans un sacr? d?fi :) > Je le pense aussi. Encore une fois, mon but personnel est d'en apprendre le maximum possible, mon but pour le coding dojo est "juste" de leur dire : voil? un cas que le FP g?re bien, voil? comment on le ferait de mani?re idiomatique en FP. Je ne l'ai pas fait depuis le d?but, mais merci de prendre de votre temps pour moi, je suis plus que conscient de mes limites et de la route qu'il me reste ? parcourir, je sais que rien ne me sera offert sur un plateau (?a n'a jamais ?t? le cas et j'esp?re que ?a ne le sera jamais) et que vous n'allez pas r?soudre tout mes probl?mes en un coup de baguette magique. Merci encore, toutes vos remarques confirment mes intuitions (m?me si ?a ne se voit pas aux vues de mes actes/mon code, je pense que j'ai encore du mal ? sortir de ma zone de confort, m?me si je fais tout pour) et me stimulent encore plus pour continuer. TL;DR : merci -------------- next part -------------- An HTML attachment was scrubbed... URL: From alpmestan at gmail.com Thu Apr 3 20:08:56 2014 From: alpmestan at gmail.com (Alp Mestanogullari) Date: Thu, 3 Apr 2014 22:08:56 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Continue de pers?v?rer. 6 ans apr?s mes d?buts il y a toujours des bouts de code que je ne pige qu'apr?s plusieurs heures/jours. Bon courage pour le dojo. Le 3 avr. 2014 19:52, "Gautier DI FOLCO" a ?crit : > Le 3 avril 2014 18:19, Alp Mestanogullari a ?crit : > >> Peut ?tre devrais-tu attendre un peu d'avoir un chouilla plus de >> bouteille. >> > > oui et non. > oui, je suis clairement au d?but du chemin, je le sais, mais non, je ne > peux pas attendre, tout est pr?vu, plus moyen de reculer. > > >> Pour l'instant je trouve que ca manque un peu de profondeur, que ca >> s'inscrit dans les discussions qu'on voit partout o? on lit beaucoup de >> choses mais o? il nous manque une vraie perc?e qui change notre >> perspective. Quand cela arrive, tu le sais, tu peux alors tout expliquer >> sans te poser de questions. >> > J'en suis conscient, c'est une des choses qui m'a pouss? ? "arr?ter" > l'animation. > Le soucis c'est que cette perc?e, je n'ai pas pu la faire en lisant un > grand nombre de documents sur le sujet, du coup il me faut de la pratique > et beaucoup de temps. > Faute de mieux, pour le moment, je me fais la main l? dessus. > > >> Il faut parler de puret? aussi, et aussi de comment ca se rattache aux >> types (plus un type est abstrait, moins tu peux te reposer sur ses >> sp?cificit?s, moins il y a d'impl?mentations possibles, plus il y a de >> chances que ton code soit correct par construction, i.e juste par le fait >> qu'il typecheck, en gros la fa?on dont Edward Kmett ?crit ses libs -- et l? >> tu ne fais plus du TDD m?me si on a en g?n?ral quand m?me des tests mais >> ils ont une place moins importante). >> > > C'est l? o? je s?che et o? je sais que le s?cherais tant que je ne me > saurais pas pris assez de "coups". > > >> En gros je pense que pour d?montrer des choses sur tout ca en Haskell, il >> faut avoir une bonne id?e de la vue globale, et que du coup ca demande un >> certain temps. >> > > Je suis de ton avis et je sais que ?a n'est pas mon cas. > > >> Si tu te sens assez ? l'aise avec tout ?a fonce, mais sinon j'ai peur que >> tu leur montres juste limite "une autre syntaxe" pour faire des tests et >> qu'ils verront juse ?a comme quelqu'un qui pr?sente les trucs cools de son >> langage. >> > > Non, je ne suis pas ? l'aise, pas suffisamment du moins. > J'ai la pr?tention de pr?senter l?g?rement plus qu'une autre syntaxe pour > le programme principal, pour les tests, ?a reste tr?s tr?s proche de RSpec, > donc rien de neuf. > > >> Alors que je pense vraiment que Haskell a d'?normes longueurs d'avance >> sur pleins de sujets, et c'est parce qu'on pense tous ?a dans mon ?quipe >> que l'on s'est lanc? dans un sacr? d?fi :) >> > > Je le pense aussi. > > Encore une fois, mon but personnel est d'en apprendre le maximum possible, > mon but pour le coding dojo est "juste" de leur dire : voil? un cas que le > FP g?re bien, voil? comment on le ferait de mani?re idiomatique en FP. > > Je ne l'ai pas fait depuis le d?but, mais merci de prendre de votre temps > pour moi, je suis plus que conscient de mes limites et de la route qu'il me > reste ? parcourir, je sais que rien ne me sera offert sur un plateau (?a > n'a jamais ?t? le cas et j'esp?re que ?a ne le sera jamais) et que vous > n'allez pas r?soudre tout mes probl?mes en un coup de baguette magique. > Merci encore, toutes vos remarques confirment mes intuitions (m?me si ?a > ne se voit pas aux vues de mes actes/mon code, je pense que j'ai encore du > mal ? sortir de ma zone de confort, m?me si je fais tout pour) et me > stimulent encore plus pour continuer. > TL;DR : merci > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Thu Apr 3 20:29:27 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Thu, 3 Apr 2014 22:29:27 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Voici les pragmas avec lesquelles ton programme compile (ghc 7.6.3): {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE FlexibleInstances #-} FYI, cela fait environ 8 ans que je pr?sente des confs, surtout dans les milieux agiles, sur la prof. fonctionnelle en g?n?ral et Haskell en particulier. IMHO, les concepts de base sont d?j? suffisamment ?loign?s de la r?alit? quotidienne de 95% Des programmeurs pour ne pas en rajouter dans la complexit?. En plus le plaisir de faire du Haskell vient aussi de la l?g?ret? de la syntaxe, de la transparence r?f?rentielle qui te permet de factoriser et abstraire n?importe quel bout de code. D?rouler des fonctions de base, des types simples, les ?abstraire? simplement dans d?autres fonctions, construire ?ventuellement des fonctions d?ordre sup?rieur, et faire tout ?a de mani?re s?re parce que fortement typ?e et test?e, c?est d?j? beaucoup. Les lens, les monades, les applicatifs, c?est du bruit pour les hipster. Personne n?est Edward Kmett ou Simon Peyton-Jones donc ?a ne sert ? rien de faire semblant. En informatique il y a deux principes pour r?ussir: Keep It Simple and Loose Couping. Bon travail, Arnaud On 03 Apr 2014, at 19:32, Gautier DI FOLCO wrote: > Le 3 avril 2014 16:33, Arnaud Bailly a ?crit : > Je ne vois pas trop la partie TDD, je trouve personnellement les tests peu expressifs. > > Je pensais le faire vis-?-vis de la "distillation" des sp?cifications, je m'explique. > J'ai un diaporama qui va contenir les instructions que je d?voilerais au fur et ? mesure : > - Les temp?ratures sont envoy?es soit en ?C soit en ?F, la pr?cision est d'une d?cimale. > * T(?C) = (T(?F) - 32)/1.8 > * T(?F) = T(?C) * 1.8 + 32 > > - Les temp?ratures sont r?colt?es matin et soir et sont envoy?es par ordre de r?colte, en commen?ant par un matin. > > - On veut les statistiques suivantes pour toutes les valeurs re?ues : Minimum / Maximum / Moyenne > On veut le r?sultat en ?F uniquement si toutes les valeurs sont en ?F. > > - On veut ces statistiques uniquement pour les mesures du matin ou uniquement pour les mesures l'apr?s midi. > > - On veut ces statistiques par semaine. > > - On veut ces statistiques par mois. > > - On veut ces statistiques par mois pour les lundi matin des semaines paires. > > L'id?e est d'instaurer un certain rythme. > > IMHO illustrer le TDD en Haskell implique de partir de Quickcheck. Tes tests sur l'?galit? et les propri?t?s des Temperatures pourraient tirer parti de cet outil par exemple. > > J'ai un peu de mal ? voir quelles propri?t?s tester. > > Par ailleurs si tu veux utiliser HSpec alors je te sugg?rerai de "suivre le grain" de l'API. > > describe "Both Fahrenheit" $ do > it "same" $ do > > c'est pas tr?s "beau", il serait plus logique d'avoir quelque chose du genre: > > describe "Both Fahrenheit" $ do > it "should be equal given same value" $ do > it "should be different given different values" $ do > > > Je plaide coupable, mais j'aurais le m?me probl?me de nommage avec RSpec. > > Dans le code principal, je ne vois pas trop le probl?me que tu as avec ta classe: j'arrive ? compiler ce code sans probl?me en rajoutant les flags qui vont bien (ghc me le dit...). > > Au moment de l'appel du programme via le shell ? J'utilise cabal, du coup je suppose que je dois regarder comment l'ajouter dedans. > > Je ne suis pas s?r non plus que l'utilisation intensive d'une notation "point-free" aide ? la compr?hension.... Surtout avec un pipeline de 10 fonctions. Je te sugg?rerai de d?tailler chaque partie de la fonction. > > ok, mais le but n'est pas qu'ils comprennent l'int?gralit? de la fonction, toujours est-il que ?a ne me co?te rien de le faire. > > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Fri Apr 4 13:06:00 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Fri, 4 Apr 2014 15:06:00 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 3 avril 2014 10:44, Sylvain Henry a ?crit : > Si je comprends bien elle fait une s?lection et une r?duction, donc > parfait avec des lenses. > J'ai fais une tentative, mais le gain est nul, je dois me d?barrasser des map si je suis ton raisonnement, mais je n'ai pas trouv? de fonctions pour, tu aurais des pointeurs/exemples ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Fri Apr 4 13:06:58 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Fri, 4 Apr 2014 15:06:58 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 3 avril 2014 22:08, Alp Mestanogullari a ?crit : > Continue de pers?v?rer. 6 ans apr?s mes d?buts il y a toujours des bouts > de code que je ne pige qu'apr?s plusieurs heures/jours. > > Bon courage pour le dojo. > Merci, ?a ne me rassure pas, mais ?a me conforte dans mon id?e. -------------- next part -------------- An HTML attachment was scrubbed... URL: From hsyl20 at gmail.com Fri Apr 4 15:00:17 2014 From: hsyl20 at gmail.com (Sylvain Henry) Date: Fri, 4 Apr 2014 17:00:17 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: En fait je pensais expliciter les noms des champs pour tes structures : data DayStmt = DayStmt { _morning, _evening :: Temperature} data WeekStmt = WeekStmt { _monday, _tuesday, ..., _sunday :: DayStmt} etc. Apr?s du coup tu peux composer tes lenses pour aller chercher les champs qui t'int?ressent : monday . evening En composant un peu tu devrais pouvoir faire des "requ?tes" sympas dans ton ensemble de temperatures. Le 4 avril 2014 15:06, Gautier DI FOLCO a ?crit : > Le 3 avril 2014 10:44, Sylvain Henry a ?crit : > >> Si je comprends bien elle fait une s?lection et une r?duction, donc >> parfait avec des lenses. >> > > J'ai fais une tentative, mais le gain est nul, je dois me d?barrasser des > map si je suis ton raisonnement, mais je n'ai pas trouv? de fonctions pour, > tu aurais des pointeurs/exemples ? > > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Fri Apr 4 16:31:22 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Fri, 4 Apr 2014 18:31:22 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 4 avril 2014 17:00, Sylvain Henry a ?crit : > En fait je pensais expliciter les noms des champs pour tes structures : > data DayStmt = DayStmt { _morning, _evening :: Temperature} > data WeekStmt = WeekStmt { _monday, _tuesday, ..., _sunday :: DayStmt} > etc. > > Apr?s du coup tu peux composer tes lenses pour aller chercher les champs > qui t'int?ressent : monday . evening > > En composant un peu tu devrais pouvoir faire des "requ?tes" sympas dans > ton ensemble de temperatures. > Oui, je vois, mais comment tu fais quand tu n'as pas de jours/semaines/mois complets ? foutre des Maybe partout est un peu lourd, non ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Sun Apr 6 16:01:52 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Sun, 6 Apr 2014 18:01:52 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 4 avril 2014 18:31, Gautier DI FOLCO a ?crit : > Le 4 avril 2014 17:00, Sylvain Henry a ?crit : > > En fait je pensais expliciter les noms des champs pour tes structures : >> data DayStmt = DayStmt { _morning, _evening :: Temperature} >> data WeekStmt = WeekStmt { _monday, _tuesday, ..., _sunday :: DayStmt} >> etc. >> >> Apr?s du coup tu peux composer tes lenses pour aller chercher les champs >> qui t'int?ressent : monday . evening >> >> En composant un peu tu devrais pouvoir faire des "requ?tes" sympas dans >> ton ensemble de temperatures. >> > > Oui, je vois, mais comment tu fais quand tu n'as pas de > jours/semaines/mois complets ? foutre des Maybe partout est un peu lourd, > non ? > Bonjour, J'ai (je pense) pas mal boss? ? tous les niveaux (tests + implantations). Du coup je suis plus partie pour faire un DSEL-like et quelque chose de plus type-safe. Je suis assez content de moi, sauf pour les make*Stmt (l.74 - l.78 - l.82), je pense que ?a m?riterait l'usage de monades ? ce niveau. Du coup, quelques petites questions : - est-ce plus "profond" ? - est-ce plus idiomatique ? - quels sont les points ? am?liorer ? - que pensez-vous de mon probl?me de make (ci-dessus) ? (est-ce r?ellement un probl?me ? est-ce comme ?a que vous le r?soudriez ? si non, comment ?) j'ai fait une tentative infructueuse avec les Applicatives - que penseriez de passer une fonction de regroupement ? (pour ?viter les weeklyStats/monthyStats) ? - j'utilise finalement peu les Lenses, ne fais-je pas mieux de les virer ? ou y a-t-il un moyen pour que j'en tire partie ? Merci par avance. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Sun Apr 6 16:09:06 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Sun, 6 Apr 2014 18:09:06 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Premi?re r?action ? chaud: - les tests sont nettement plus sympas, compr?hensibles et utiles (je comprends ? quoi sert la lib gr?ce ? eux - pour utiliser les lens, voici ce que fait cabal: Resolving dependencies... Downloading transformers-compat-0.1.1.1... Downloading tagged-0.7.1... Configuring tagged-0.7.1... Configuring transformers-compat-0.1.1.1... Building transformers-compat-0.1.1.1... Building tagged-0.7.1... Installed transformers-compat-0.1.1.1 Installed tagged-0.7.1 Downloading contravariant-0.4.4... Downloading distributive-0.4.3.1... Configuring contravariant-0.4.4... Configuring distributive-0.4.3.1... Downloading reflection-1.4... Configuring reflection-1.4... Building contravariant-0.4.4... Building reflection-1.4... Installed contravariant-0.4.4 Building distributive-0.4.3.1... Installed reflection-1.4 Installed distributive-0.4.3.1 Downloading comonad-4.0.1... Configuring comonad-4.0.1... Building comonad-4.0.1... Installed comonad-4.0.1 Downloading semigroupoids-4.0.1... Configuring semigroupoids-4.0.1... Building semigroupoids-4.0.1... Installed semigroupoids-4.0.1 Downloading bifunctors-4.1.1... Downloading profunctors-4.0.3... Configuring bifunctors-4.1.1... Configuring profunctors-4.0.3... Building bifunctors-4.1.1... Building profunctors-4.0.3... Installed profunctors-4.0.3 Installed bifunctors-4.1.1 Downloading free-4.6.1... Configuring free-4.6.1... Building free-4.6.1... Installed free-4.6.1 Downloading lens-4.1.2... Configuring lens-4.1.2... Building lens-4.1.2... Installed lens-4.1.2 Est-ce vraiment n?cessaire ? Par ailleurs dans le code, je ne suis pas du tout convaincu par les m?thode mlxxx, elles sont assez illisibles. Bravo pour les am?liorations en tout cas. arnaud On 06 Apr 2014, at 18:01, Gautier DI FOLCO wrote: > Le 4 avril 2014 18:31, Gautier DI FOLCO a ?crit : > Le 4 avril 2014 17:00, Sylvain Henry a ?crit : > > En fait je pensais expliciter les noms des champs pour tes structures : > data DayStmt = DayStmt { _morning, _evening :: Temperature} > data WeekStmt = WeekStmt { _monday, _tuesday, ..., _sunday :: DayStmt} > etc. > > Apr?s du coup tu peux composer tes lenses pour aller chercher les champs qui t'int?ressent : monday . evening > > En composant un peu tu devrais pouvoir faire des "requ?tes" sympas dans ton ensemble de temperatures. > > Oui, je vois, mais comment tu fais quand tu n'as pas de jours/semaines/mois complets ? foutre des Maybe partout est un peu lourd, non ? > > Bonjour, > > J'ai (je pense) pas mal boss? ? tous les niveaux (tests + implantations). > Du coup je suis plus partie pour faire un DSEL-like et quelque chose de plus type-safe. > Je suis assez content de moi, sauf pour les make*Stmt (l.74 - l.78 - l.82), je pense que ?a m?riterait l'usage de monades ? ce niveau. > Du coup, quelques petites questions : > - est-ce plus "profond" ? > - est-ce plus idiomatique ? > - quels sont les points ? am?liorer ? > - que pensez-vous de mon probl?me de make (ci-dessus) ? (est-ce r?ellement un probl?me ? est-ce comme ?a que vous le r?soudriez ? si non, comment ?) j'ai fait une tentative infructueuse avec les Applicatives > - que penseriez de passer une fonction de regroupement ? (pour ?viter les weeklyStats/monthyStats) ? > - j'utilise finalement peu les Lenses, ne fais-je pas mieux de les virer ? ou y a-t-il un moyen pour que j'en tire partie ? > > Merci par avance. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Sun Apr 6 16:14:06 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Sun, 6 Apr 2014 18:14:06 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 6 avril 2014 18:09, Arnaud Bailly a ?crit : > Premi?re r?action ? chaud: > - les tests sont nettement plus sympas, compr?hensibles et utiles (je > comprends ? quoi sert la lib gr?ce ? eux > :) > - pour utiliser les lens, voici ce que fait cabal: > Resolving dependencies... > Downloading transformers-compat-0.1.1.1... > Downloading tagged-0.7.1... > Configuring tagged-0.7.1... > Configuring transformers-compat-0.1.1.1... > Building transformers-compat-0.1.1.1... > Building tagged-0.7.1... > Installed transformers-compat-0.1.1.1 > Installed tagged-0.7.1 > Downloading contravariant-0.4.4... > Downloading distributive-0.4.3.1... > Configuring contravariant-0.4.4... > Configuring distributive-0.4.3.1... > Downloading reflection-1.4... > Configuring reflection-1.4... > Building contravariant-0.4.4... > Building reflection-1.4... > Installed contravariant-0.4.4 > Building distributive-0.4.3.1... > Installed reflection-1.4 > Installed distributive-0.4.3.1 > Downloading comonad-4.0.1... > Configuring comonad-4.0.1... > Building comonad-4.0.1... > Installed comonad-4.0.1 > Downloading semigroupoids-4.0.1... > Configuring semigroupoids-4.0.1... > Building semigroupoids-4.0.1... > Installed semigroupoids-4.0.1 > Downloading bifunctors-4.1.1... > Downloading profunctors-4.0.3... > Configuring bifunctors-4.1.1... > Configuring profunctors-4.0.3... > Building bifunctors-4.1.1... > Building profunctors-4.0.3... > Installed profunctors-4.0.3 > Installed bifunctors-4.1.1 > Downloading free-4.6.1... > Configuring free-4.6.1... > Building free-4.6.1... > Installed free-4.6.1 > Downloading lens-4.1.2... > Configuring lens-4.1.2... > Building lens-4.1.2... > Installed lens-4.1.2 > > > Est-ce vraiment n?cessaire ? > Je pensais qu'on ne pouvait pas l'?viter, je vais voir, meci. > Par ailleurs dans le code, je ne suis pas du tout convaincu par les > m?thode mlxxx, elles sont assez illisibles. > make*Stmt je suppose, si oui, je suis de ton avis, mais je ne vois pas comment les simplifier :/ > Bravo pour les am?liorations en tout cas. > Merci, ?a me touche. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Sun Apr 6 17:12:05 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Sun, 6 Apr 2014 19:12:05 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: Le 6 avril 2014 18:14, Gautier DI FOLCO a ?crit : > - pour utiliser les lens, voici ce que fait cabal: >> Resolving dependencies... >> Downloading transformers-compat-0.1.1.1... >> Downloading tagged-0.7.1... >> Configuring tagged-0.7.1... >> Configuring transformers-compat-0.1.1.1... >> Building transformers-compat-0.1.1.1... >> Building tagged-0.7.1... >> Installed transformers-compat-0.1.1.1 >> Installed tagged-0.7.1 >> Downloading contravariant-0.4.4... >> Downloading distributive-0.4.3.1... >> Configuring contravariant-0.4.4... >> Configuring distributive-0.4.3.1... >> Downloading reflection-1.4... >> Configuring reflection-1.4... >> Building contravariant-0.4.4... >> Building reflection-1.4... >> Installed contravariant-0.4.4 >> Building distributive-0.4.3.1... >> Installed reflection-1.4 >> Installed distributive-0.4.3.1 >> Downloading comonad-4.0.1... >> Configuring comonad-4.0.1... >> Building comonad-4.0.1... >> Installed comonad-4.0.1 >> Downloading semigroupoids-4.0.1... >> Configuring semigroupoids-4.0.1... >> Building semigroupoids-4.0.1... >> Installed semigroupoids-4.0.1 >> Downloading bifunctors-4.1.1... >> Downloading profunctors-4.0.3... >> Configuring bifunctors-4.1.1... >> Configuring profunctors-4.0.3... >> Building bifunctors-4.1.1... >> Building profunctors-4.0.3... >> Installed profunctors-4.0.3 >> Installed bifunctors-4.1.1 >> Downloading free-4.6.1... >> Configuring free-4.6.1... >> Building free-4.6.1... >> Installed free-4.6.1 >> Downloading lens-4.1.2... >> Configuring lens-4.1.2... >> Building lens-4.1.2... >> Installed lens-4.1.2 >> >> >> Est-ce vraiment n?cessaire ? >> > > Je pensais qu'on ne pouvait pas l'?viter, je vais voir, meci. > Visiblement ?a se produit d?s que GHC ? des ?valuations au cours de la compilation et c'est un ticket ouvert : https://ghc.haskell.org/trac/ghc/ticket/5647 Vous n'avez pas ce soucis quand vous utilisez les lens sur vos projets ? Merci par avance. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Sun Apr 6 17:35:24 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Sun, 6 Apr 2014 19:35:24 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> Message-ID: <4C49C406-3F30-44B4-B014-0FA585896C1E@gmail.com> Ce n?est pas le fait qu?il fasse ?a qui me pose probl?me, c?est la flop?e de d?pendances que tirent les lens pour un usage tr?s limit? dans ton code. Pour faire une analogie avec ce que je vis au quotidien, c?est comme utiliser spring+hibernate pour faire un select dans une base? Arnaud On 06 Apr 2014, at 18:01, Gautier DI FOLCO wrote: > Le 4 avril 2014 18:31, Gautier DI FOLCO a ?crit : > Le 4 avril 2014 17:00, Sylvain Henry a ?crit : > > En fait je pensais expliciter les noms des champs pour tes structures : > data DayStmt = DayStmt { _morning, _evening :: Temperature} > data WeekStmt = WeekStmt { _monday, _tuesday, ..., _sunday :: DayStmt} > etc. > > Apr?s du coup tu peux composer tes lenses pour aller chercher les champs qui t'int?ressent : monday . evening > > En composant un peu tu devrais pouvoir faire des "requ?tes" sympas dans ton ensemble de temperatures. > > Oui, je vois, mais comment tu fais quand tu n'as pas de jours/semaines/mois complets ? foutre des Maybe partout est un peu lourd, non ? > > Bonjour, > > J'ai (je pense) pas mal boss? ? tous les niveaux (tests + implantations). > Du coup je suis plus partie pour faire un DSEL-like et quelque chose de plus type-safe. > Je suis assez content de moi, sauf pour les make*Stmt (l.74 - l.78 - l.82), je pense que ?a m?riterait l'usage de monades ? ce niveau. > Du coup, quelques petites questions : > - est-ce plus "profond" ? > - est-ce plus idiomatique ? > - quels sont les points ? am?liorer ? > - que pensez-vous de mon probl?me de make (ci-dessus) ? (est-ce r?ellement un probl?me ? est-ce comme ?a que vous le r?soudriez ? si non, comment ?) j'ai fait une tentative infructueuse avec les Applicatives > - que penseriez de passer une fonction de regroupement ? (pour ?viter les weeklyStats/monthyStats) ? > - j'utilise finalement peu les Lenses, ne fais-je pas mieux de les virer ? ou y a-t-il un moyen pour que j'en tire partie ? > > Merci par avance. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Sun Apr 6 17:39:04 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Sun, 6 Apr 2014 19:39:04 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: <4C49C406-3F30-44B4-B014-0FA585896C1E@gmail.com> References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> <4C49C406-3F30-44B4-B014-0FA585896C1E@gmail.com> Message-ID: Le 6 avril 2014 19:35, Arnaud Bailly a ?crit : > Ce n'est pas le fait qu'il fasse ?a qui me pose probl?me, c'est la flop?e > de d?pendances que tirent les lens pour un usage tr?s limit? dans ton code. > Pour faire une analogie avec ce que je vis au quotidien, c'est comme > utiliser spring+hibernate pour faire un select dans une base... > > C'est une de mes questions, aux vues de l'usage que j'en ai, n'ais-je pas meilleur compte ? les retirer ? ou bien y a-t-il une fonctionnalit? qui puisse me servir pour am?liorer mon code ? Si je peux ajouter une question : je dois g?rer pas mal de Maybe, je ne trouve pas ?a bien propre, y a-t-il une mani?re de faire plus ?l?gante ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Sun Apr 6 19:24:24 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Sun, 6 Apr 2014 21:24:24 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> <4C49C406-3F30-44B4-B014-0FA585896C1E@gmail.com> Message-ID: Le 6 avril 2014 19:39, Gautier DI FOLCO a ?crit : > Le 6 avril 2014 19:35, Arnaud Bailly a ?crit : > > Ce n'est pas le fait qu'il fasse ?a qui me pose probl?me, c'est la flop?e >> de d?pendances que tirent les lens pour un usage tr?s limit? dans ton code. >> Pour faire une analogie avec ce que je vis au quotidien, c'est comme >> utiliser spring+hibernate pour faire un select dans une base... >> >> > C'est une de mes questions, aux vues de l'usage que j'en ai, n'ais-je pas > meilleur compte ? les retirer ? ou bien y a-t-il une fonctionnalit? qui > puisse me servir pour am?liorer mon code ? > > Si je peux ajouter une question : je dois g?rer pas mal de Maybe, je ne > trouve pas ?a bien propre, y a-t-il une mani?re de faire plus ?l?gante ? > J'ai vir? les Lenses, mais ?a reste sale. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Sun Apr 6 20:01:04 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Sun, 6 Apr 2014 22:01:04 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> <4C49C406-3F30-44B4-B014-0FA585896C1E@gmail.com> Message-ID: <54E6EF36-B3C9-4D67-A02C-1ADF4B029CCC@gmail.com> Pour les maybe peut-?tre serait-il plus ?l?gant d?int?grer directement un constructeur ?vide? dans chacun de tes types ? Tu perds le catMaybes met tu peux avoir une fonction qui filtre sur l?absence, c?est pas beaucoup plus compliqu?. Te repr?sentation des types Week et Month n?est peut-?tre pas id?al. Pourquoi ne pas avoir directement une liste de jours/semaines ? Pas s?r qu?avoir des champs pour les noms de jours et les num?ros de semaine apporte grand-chose ? l?histoire (et puis tu fais des suppositions sur le premier jour de la semaine qui est le dimanche dans les pays ?anglo-saxons? par exemple)? My 50 cts Arnaud On 06 Apr 2014, at 21:24, Gautier DI FOLCO wrote: > Le 6 avril 2014 19:39, Gautier DI FOLCO a ?crit : > Le 6 avril 2014 19:35, Arnaud Bailly a ?crit : > > Ce n?est pas le fait qu?il fasse ?a qui me pose probl?me, c?est la flop?e de d?pendances que tirent les lens pour un usage tr?s limit? dans ton code. > Pour faire une analogie avec ce que je vis au quotidien, c?est comme utiliser spring+hibernate pour faire un select dans une base? > > > C'est une de mes questions, aux vues de l'usage que j'en ai, n'ais-je pas meilleur compte ? les retirer ? ou bien y a-t-il une fonctionnalit? qui puisse me servir pour am?liorer mon code ? > > Si je peux ajouter une question : je dois g?rer pas mal de Maybe, je ne trouve pas ?a bien propre, y a-t-il une mani?re de faire plus ?l?gante ? > > J'ai vir? les Lenses, mais ?a reste sale. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Sun Apr 6 21:46:49 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Sun, 6 Apr 2014 23:46:49 +0200 Subject: [Haskell-fr] Demande de revue de code In-Reply-To: <54E6EF36-B3C9-4D67-A02C-1ADF4B029CCC@gmail.com> References: <2iwrr602rgr2d9hrxxl0iiyt.1396473581454@email.android.com> <4C49C406-3F30-44B4-B014-0FA585896C1E@gmail.com> <54E6EF36-B3C9-4D67-A02C-1ADF4B029CCC@gmail.com> Message-ID: Le 6 avril 2014 22:01, Arnaud Bailly a ?crit : > Pour les maybe peut-?tre serait-il plus ?l?gant d'int?grer directement un > constructeur "vide" dans chacun de tes types ? Tu perds le catMaybes met tu > peux avoir une fonction qui filtre sur l'absence, c'est pas beaucoup plus > compliqu?. > Tu veux un GADT, du style : data DayStmt = NoDayTemp | MorningDayTemp Temperature | EveningDayTemp Temperature | FullDayTemp Temperature Temperature par contre je ne vois pas l'encha?nement qui en d?coulerait. > Te repr?sentation des types Week et Month n'est peut-?tre pas id?al. > Pourquoi ne pas avoir directement une liste de jours/semaines ? Pas s?r > qu'avoir des champs pour les noms de jours et les num?ros de semaine > apporte grand-chose ? l'histoire (et puis tu fais des suppositions sur le > premier jour de la semaine qui est le dimanche dans les pays "anglo-saxons" > par exemple)... > C'est ce que j'avais au d?but, mais le nommage est mieux je trouve, c'est plus explicite. Pour Week et Month, c'est juste que je voulais un contr?le des types au d?but (que ne m'aurais pas apport? type), puis par la suite ?a m'a permit de nommer les champs. Si on va par l?, les mois n'ont pas tous 28 jours et les mois ne commencent pas toujours par un lundi (ou un dimanche), mon but est de fournir un cadre permettant d'avoir un code assez simple, g?rer correctement les dates rajouterait pas mal de complexit? ? mon sens. Je suis arriv? ? introduire un Monoid assez pertinent ? mon sens (mais corrigez moi si je me trompe), du coup je suis assez content. Je n?gocie mais n'h?sitez pas si vous avez des remarques :) -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Mon Apr 7 09:25:58 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Mon, 7 Apr 2014 11:25:58 +0200 Subject: [Haskell-fr] Contexte nul Message-ID: Bonjour, Je suis toujours sur mon coding dojo (qui s'est transformer en kata FP pour moi) et du coup je me pose des questions l? dessus : getStats :: Extractor -> [MonthStmt] -> Statistics getStats f = makeStatistics . extract f weeklyStats :: Extractor -> [MonthStmt] -> [Statistics] weeklyStats e d = map ((\f -> getStats f d) . filterByMonth) [first, second, third, forth] where filterByMonth m = Extractor (\w -> catMaybes [m w]) allDaysF allTemperaturesF `mappend` e monthlyStats :: Extractor -> [MonthStmt] -> [Statistics] monthlyStats e = map (\m -> getStats e [m]) (pour info, le reste du code est l? : https://github.com/blackheaven/dojo_14-04-10/blob/master/fonctionnel/haskell/src/Thermometre.hs#L121 ) Mon id?e c'est que je suis arriv? ? factoriser les filtres (Extractor) et maintenant je veux factoriser les groupements. Je veux pouvoir faire : getStats monthly mondays data Ce qui donnerait : getStats :: (Functor t) => (Extractor -> [MonthStmt] -> t Statistics) -> Extractor -> [MonthStmt] -> t Statistics getStats g e d = makeStatistics <$> g e d Le soucis que je rencontre c'est que pour le getStats original, ma donn?e n'a pas de contexte (je veux dire qu'elle n'est pas dans une structure de donn?es), du coup je suis un peu eu. Est-ce qu'il y a un moyen d'avoir un contexte optionnel ou dois-je passer par les type classes ? Merci par avance pour votre r?ponse. NB : Ce questionnement est ind?pendant de l'autre, je veux juste renforcer ma compr?hension du syst?me de types. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Fri Apr 18 07:16:49 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Fri, 18 Apr 2014 09:16:49 +0200 Subject: [Haskell-fr] =?iso-8859-1?q?BOF_=E0_Devoxx?= Message-ID: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> Hello, J?ai ?t? tr?s d??u de l?absence d?une BOF Haskell ? Devoxx cette ann?e. Il me semble qu?il y en avait eu une l?ann?e derni?re, non ? Par ailleurs j?ai peut-?tre rat? des trucs mais il me semble qu?il n?y a pas eu de meetup depuis longtemps. Quelque chose de pr?vu ? l?horizon ? A+ Arnaud -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Fri Apr 18 08:08:56 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Fri, 18 Apr 2014 10:08:56 +0200 Subject: [Haskell-fr] =?utf-8?q?BOF_=C3=A0_Devoxx?= In-Reply-To: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> Message-ID: Le 18 avril 2014 09:16, Arnaud Bailly a ?crit : > Hello, > J?ai ?t? tr?s d??u de l?absence d?une BOF Haskell ? Devoxx cette ann?e. Il > me semble qu?il y en avait eu une l?ann?e derni?re, non ? > Par ailleurs j?ai peut-?tre rat? des trucs mais il me semble qu?il n?y a > pas eu de meetup depuis longtemps. Quelque chose de pr?vu ? l?horizon ? > Bonjour, Personnellement ?a ne me choc pas, Devoxx est quand m?me tr?s orient? JAVA. Par comparaison, ?a me choc plus au FOSDEM. Il y a quelques temps sur IRC, il ?tait question de faire une conf?rence et/ou une association, mais j'ai peur qu'on manque de gens en France. Pour ne rien cacher, je suis sur Lyon, j'avais la volont? de monter un groupe sur Haskell, le soucis c'est qu'on ne va pas ?tre lourd, du coup, on va sans doute monter un groupe "langage exotiques". -------------- next part -------------- An HTML attachment was scrubbed... URL: From alpmestan at gmail.com Fri Apr 18 08:16:46 2014 From: alpmestan at gmail.com (Alp Mestanogullari) Date: Fri, 18 Apr 2014 10:16:46 +0200 Subject: [Haskell-fr] =?utf-8?q?BOF_=C3=A0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> Message-ID: D'ailleurs je vais a ZuriHac (le Hackathon a Zurich) debut juin. Si d'autres sont partants/y vont dites le moi. Le 18 avr. 2014 10:09, "Gautier DI FOLCO" a ?crit : > Le 18 avril 2014 09:16, Arnaud Bailly a ?crit : > >> Hello, >> J?ai ?t? tr?s d??u de l?absence d?une BOF Haskell ? Devoxx cette ann?e. >> Il me semble qu?il y en avait eu une l?ann?e derni?re, non ? >> Par ailleurs j?ai peut-?tre rat? des trucs mais il me semble qu?il n?y a >> pas eu de meetup depuis longtemps. Quelque chose de pr?vu ? l?horizon ? >> > > Bonjour, > > Personnellement ?a ne me choc pas, Devoxx est quand m?me tr?s orient? > JAVA. Par comparaison, ?a me choc plus au FOSDEM. > Il y a quelques temps sur IRC, il ?tait question de faire une conf?rence > et/ou une association, mais j'ai peur qu'on manque de gens en France. > Pour ne rien cacher, je suis sur Lyon, j'avais la volont? de monter un > groupe sur Haskell, le soucis c'est qu'on ne va pas ?tre lourd, du coup, on > va sans doute monter un groupe "langage exotiques". > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Fri Apr 18 08:20:29 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Fri, 18 Apr 2014 10:20:29 +0200 Subject: [Haskell-fr] =?iso-8859-1?q?BOF_=E0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> Message-ID: <93485834-3D7E-4E38-9AFD-D7A5337D5EE7@gmail.com> ?a me dirait beaucoup mais je n?ai pas vraiment le temps et c?est un peu loin pour moi (Nantes). On 18 Apr 2014, at 10:16, Alp Mestanogullari wrote: > D'ailleurs je vais a ZuriHac (le Hackathon a Zurich) debut juin. Si d'autres sont partants/y vont dites le moi. > > Le 18 avr. 2014 10:09, "Gautier DI FOLCO" a ?crit : > Le 18 avril 2014 09:16, Arnaud Bailly a ?crit : > Hello, > J?ai ?t? tr?s d??u de l?absence d?une BOF Haskell ? Devoxx cette ann?e. Il me semble qu?il y en avait eu une l?ann?e derni?re, non ? > Par ailleurs j?ai peut-?tre rat? des trucs mais il me semble qu?il n?y a pas eu de meetup depuis longtemps. Quelque chose de pr?vu ? l?horizon ? > > Bonjour, > > Personnellement ?a ne me choc pas, Devoxx est quand m?me tr?s orient? JAVA. Par comparaison, ?a me choc plus au FOSDEM. > Il y a quelques temps sur IRC, il ?tait question de faire une conf?rence et/ou une association, mais j'ai peur qu'on manque de gens en France. > Pour ne rien cacher, je suis sur Lyon, j'avais la volont? de monter un groupe sur Haskell, le soucis c'est qu'on ne va pas ?tre lourd, du coup, on va sans doute monter un groupe "langage exotiques". > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From arnaud.oqube at gmail.com Fri Apr 18 08:25:48 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Fri, 18 Apr 2014 10:25:48 +0200 Subject: [Haskell-fr] =?iso-8859-1?q?BOF_=E0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> Message-ID: <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> C?est vrai que Devoxx est tr?s orient? Java, mais il y avait des talks sur d?autres langages y compris non-JVM (Rust par exemple). Il y avait plusieurs talks autour de la concurrence, de la r?activit?, en particulier dans finance et il me semble que Haskell a des choses ? dire sur le sujet. Et c?est justement en se confrontant ? la r?alit? des d?veloppeurs ?enterprise? que l?id?e et la pratique d?autres langages progressent. C?est sympa de rester entre nous et d?admirer les magnifiques constructions cat?goriques que l?on peut faire en Haskell mais personnellement j?aimerais pouvoir faire manger ma famille en faisant du Haskell plut?t que du Java, en travaillant sur et avec un langage que j?aime plut?t que sur et avec un langage que je supporte (et parfois subis). Y-a-t?il des gens partants pour r?activer le meetup et pr?voir quelque chose en mai/juin ? Arnaud -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From alpmestan at gmail.com Fri Apr 18 08:41:48 2014 From: alpmestan at gmail.com (Alp Mestanogullari) Date: Fri, 18 Apr 2014 10:41:48 +0200 Subject: [Haskell-fr] =?utf-8?q?BOF_=C3=A0_Devoxx?= In-Reply-To: <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> Message-ID: Ca va ?tre dur de gagner ton pain avec Haskell si tu veux pas bosser ailleurs / en remote pour une boite ?trang?re (je ne sais pas si tu aurais envie ou non). Et puis il n'y a pas 100 jobs par mois l?-dedans. Pour le meetup, je suppose que vous parlez de celui ? Paris? Y'avait bien ma tentative d?sesp?r?e de Haskell Hackathon fran?ais y'a qq ann?es mais ?a n'avait vraiment pas bien pris: http://alpmestan.wordpress.com/2011/10/09/a-french-community-for-haskell/ 2014-04-18 10:25 GMT+02:00 Arnaud Bailly : > C?est vrai que Devoxx est tr?s orient? Java, mais il y avait des talks sur > d?autres langages y compris non-JVM (Rust par exemple). Il y avait > plusieurs talks autour de la concurrence, de la r?activit?, en particulier > dans finance et il me semble que Haskell a des choses ? dire sur le sujet. > > Et c?est justement en se confrontant ? la r?alit? des d?veloppeurs > ?enterprise? que l?id?e et la pratique d?autres langages progressent. C?est > sympa de rester entre nous et d?admirer les magnifiques constructions > cat?goriques que l?on peut faire en Haskell mais personnellement j?aimerais > pouvoir faire manger ma famille en faisant du Haskell plut?t que du Java, > en travaillant sur et avec un langage que j?aime plut?t que sur et avec un > langage que je supporte (et parfois subis). > > Y-a-t?il des gens partants pour r?activer le meetup et pr?voir quelque > chose en mai/juin ? > > Arnaud > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -- Alp Mestanogullari -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Fri Apr 18 08:45:51 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Fri, 18 Apr 2014 10:45:51 +0200 Subject: [Haskell-fr] =?iso-8859-1?q?BOF_=E0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> Message-ID: Qui a dit que je ne voulais pas bosser ailleurs/en remote :-) ? Pour le meetup, je parlais de ?a: http://www.meetup.com/haskell-paris/ Arnaud On 18 Apr 2014, at 10:41, Alp Mestanogullari wrote: > Ca va ?tre dur de gagner ton pain avec Haskell si tu veux pas bosser ailleurs / en remote pour une boite ?trang?re (je ne sais pas si tu aurais envie ou non). Et puis il n'y a pas 100 jobs par mois l?-dedans. > > Pour le meetup, je suppose que vous parlez de celui ? Paris? Y'avait bien ma tentative d?sesp?r?e de Haskell Hackathon fran?ais y'a qq ann?es mais ?a n'avait vraiment pas bien pris: http://alpmestan.wordpress.com/2011/10/09/a-french-community-for-haskell/ > > > 2014-04-18 10:25 GMT+02:00 Arnaud Bailly : > C?est vrai que Devoxx est tr?s orient? Java, mais il y avait des talks sur d?autres langages y compris non-JVM (Rust par exemple). Il y avait plusieurs talks autour de la concurrence, de la r?activit?, en particulier dans finance et il me semble que Haskell a des choses ? dire sur le sujet. > > Et c?est justement en se confrontant ? la r?alit? des d?veloppeurs ?enterprise? que l?id?e et la pratique d?autres langages progressent. C?est sympa de rester entre nous et d?admirer les magnifiques constructions cat?goriques que l?on peut faire en Haskell mais personnellement j?aimerais pouvoir faire manger ma famille en faisant du Haskell plut?t que du Java, en travaillant sur et avec un langage que j?aime plut?t que sur et avec un langage que je supporte (et parfois subis). > > Y-a-t?il des gens partants pour r?activer le meetup et pr?voir quelque chose en mai/juin ? > > Arnaud > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > > > > -- > Alp Mestanogullari > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From alpmestan at gmail.com Fri Apr 18 09:01:35 2014 From: alpmestan at gmail.com (Alp Mestanogullari) Date: Fri, 18 Apr 2014 11:01:35 +0200 Subject: [Haskell-fr] =?utf-8?q?BOF_=C3=A0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> Message-ID: 2014-04-18 10:45 GMT+02:00 Arnaud Bailly : > Qui a dit que je ne voulais pas bosser ailleurs/en remote :-) ? > Ah mais j'ai pas dit que tu ne voulais pas, c'est juste que ?a semble ?tre n?cessaire. > Pour le meetup, je parlais de ?a: http://www.meetup.com/haskell-paris/ > Oui, je me doutais que ?a serait celui-l?. Toujours le m?me probl?me de se taper 700 bornes de voiture/train/avion pour un meetup :p > On 18 Apr 2014, at 10:41, Alp Mestanogullari wrote: > > Ca va ?tre dur de gagner ton pain avec Haskell si tu veux pas bosser > ailleurs / en remote pour une boite ?trang?re (je ne sais pas si tu aurais > envie ou non). Et puis il n'y a pas 100 jobs par mois l?-dedans. > > Pour le meetup, je suppose que vous parlez de celui ? Paris? Y'avait bien > ma tentative d?sesp?r?e de Haskell Hackathon fran?ais y'a qq ann?es mais ?a > n'avait vraiment pas bien pris: > http://alpmestan.wordpress.com/2011/10/09/a-french-community-for-haskell/ > > > 2014-04-18 10:25 GMT+02:00 Arnaud Bailly : > >> C?est vrai que Devoxx est tr?s orient? Java, mais il y avait des talks >> sur d?autres langages y compris non-JVM (Rust par exemple). Il y avait >> plusieurs talks autour de la concurrence, de la r?activit?, en particulier >> dans finance et il me semble que Haskell a des choses ? dire sur le sujet. >> >> Et c?est justement en se confrontant ? la r?alit? des d?veloppeurs >> ?enterprise? que l?id?e et la pratique d?autres langages progressent. C?est >> sympa de rester entre nous et d?admirer les magnifiques constructions >> cat?goriques que l?on peut faire en Haskell mais personnellement j?aimerais >> pouvoir faire manger ma famille en faisant du Haskell plut?t que du Java, >> en travaillant sur et avec un langage que j?aime plut?t que sur et avec un >> langage que je supporte (et parfois subis). >> >> Y-a-t?il des gens partants pour r?activer le meetup et pr?voir quelque >> chose en mai/juin ? >> >> Arnaud >> >> _______________________________________________ >> Haskell-fr mailing list >> Haskell-fr at haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-fr >> >> > > > -- > Alp Mestanogullari > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -- Alp Mestanogullari -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Fri Apr 18 09:09:40 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Fri, 18 Apr 2014 11:09:40 +0200 Subject: [Haskell-fr] =?iso-8859-1?q?BOF_=E0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> Message-ID: <83ABDBFC-4A1A-4EFD-B55D-7BEF9F53A2C5@gmail.com> On 18 Apr 2014, at 11:01, Alp Mestanogullari wrote: > 2014-04-18 10:45 GMT+02:00 Arnaud Bailly : > Qui a dit que je ne voulais pas bosser ailleurs/en remote :-) ? > > Ah mais j'ai pas dit que tu ne voulais pas, c'est juste que ?a semble ?tre n?cessaire. Et bien justement, c?est ce que j?aimerais essayer de changer ! ?Be the change you wish to see? comme disais Gandhi? Et une partie du probl?me c?est que l?image (et l?usage) d?Haskell aujourd?hui le r?serve ? des domaines ultra-pointus o? mon modeste profil de g?n?raliste normalement dot? en CPU et RAM trouve difficilement ? s?employer? ?a me dirait bien de refaire une th?se par exemple en math appli ou machine learning mais bon, on va essayer de trouver un moyen plus simple quand m?me. > > Pour le meetup, je parlais de ?a: http://www.meetup.com/haskell-paris/ > > Oui, je me doutais que ?a serait celui-l?. Toujours le m?me probl?me de se taper 700 bornes de voiture/train/avion pour un meetup :p > Je connais le probl?me, mais comme je travaille pour un ?diteur sur Paris je me d?place pour un peu plus qu?un Meetup. Apr?s, on pourrait se la jouer 21?me si?cle et faire une meetup r?parti en t?l?conf ! Apr?s tout, hangout a ?t? plus ou moins pr?vu pour ?a non ? -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Fri Apr 18 09:22:16 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Fri, 18 Apr 2014 11:22:16 +0200 Subject: [Haskell-fr] =?utf-8?q?BOF_=C3=A0_Devoxx?= In-Reply-To: <83ABDBFC-4A1A-4EFD-B55D-7BEF9F53A2C5@gmail.com> References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> <83ABDBFC-4A1A-4EFD-B55D-7BEF9F53A2C5@gmail.com> Message-ID: Le 18 avril 2014 11:09, Arnaud Bailly a ?crit : > > On 18 Apr 2014, at 11:01, Alp Mestanogullari wrote: > > 2014-04-18 10:45 GMT+02:00 Arnaud Bailly : > >> Qui a dit que je ne voulais pas bosser ailleurs/en remote :-) ? >> > > Ah mais j'ai pas dit que tu ne voulais pas, c'est juste que ?a semble ?tre > n?cessaire. > > > Et bien justement, c?est ce que j?aimerais essayer de changer ! ?Be the > change you wish to see? comme disais Gandhi? > > Et une partie du probl?me c?est que l?image (et l?usage) d?Haskell > aujourd?hui le r?serve ? des domaines ultra-pointus o? mon modeste profil > de g?n?raliste normalement dot? en CPU et RAM trouve difficilement ? > s?employer? ?a me dirait bien de refaire une th?se par exemple en math > appli ou machine learning mais bon, on va essayer de trouver un moyen plus > simple quand m?me. > ?a aussi c'est l'un des soucis en France, ? part faire de la recherche (et encore, dans l'?quipe qui m'encadre ils font du JS), Haskell n'est pas une option. > > Pour le meetup, je parlais de ?a: http://www.meetup.com/haskell-paris/ >> > > Oui, je me doutais que ?a serait celui-l?. Toujours le m?me probl?me de se > taper 700 bornes de voiture/train/avion pour un meetup :p > > +1 > Je connais le probl?me, mais comme je travaille pour un ?diteur sur Paris > je me d?place pour un peu plus qu?un Meetup. Apr?s, on pourrait se la jouer > 21?me si?cle et faire une meetup r?parti en t?l?conf ! Apr?s tout, hangout > a ?t? plus ou moins pr?vu pour ?a non ? > ?a serait une grosse rustine et puis, m?me en tant qu'asocial, je consid?re que les r?unions physiques permettent plus d'interactions, notamment la cr?ation d'une multitude de petits groupes informels de fa?on tr?s dynamique, ce que ne permet pas Hangout ou autre. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Fri Apr 18 09:25:15 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Fri, 18 Apr 2014 11:25:15 +0200 Subject: [Haskell-fr] =?iso-8859-1?q?BOF_=E0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> <83ABDBFC-4A1A-4EFD-B55D-7BEF9F53A2C5@gmail.com> Message-ID: <55F2F118-A885-4366-BABF-A879EF72544C@gmail.com> OK. Donc, on peut toujours essayer de r?activer le Meetup Paris en attendant d?en avoir un dans toutes nos belles provinces. Cela fait des mois que je tanne Cl?ment Delafargue et Quentin Adam pour faire un Nantes FP... Si personne n?y voit d?inconv?nient, je vais essayer de 1/ trouver un lieu et 2/ poster une annonce pour 3/ faire venir des gens, aux environs de fin mai-d?but juin. On 18 Apr 2014, at 11:22, Gautier DI FOLCO wrote: > Le 18 avril 2014 11:09, Arnaud Bailly a ?crit : > > On 18 Apr 2014, at 11:01, Alp Mestanogullari wrote: > >> 2014-04-18 10:45 GMT+02:00 Arnaud Bailly : >> Qui a dit que je ne voulais pas bosser ailleurs/en remote :-) ? >> >> Ah mais j'ai pas dit que tu ne voulais pas, c'est juste que ?a semble ?tre n?cessaire. > > Et bien justement, c?est ce que j?aimerais essayer de changer ! ?Be the change you wish to see? comme disais Gandhi? > > Et une partie du probl?me c?est que l?image (et l?usage) d?Haskell aujourd?hui le r?serve ? des domaines ultra-pointus o? mon modeste profil de g?n?raliste normalement dot? en CPU et RAM trouve difficilement ? s?employer? ?a me dirait bien de refaire une th?se par exemple en math appli ou machine learning mais bon, on va essayer de trouver un moyen plus simple quand m?me. > > ?a aussi c'est l'un des soucis en France, ? part faire de la recherche (et encore, dans l'?quipe qui m'encadre ils font du JS), Haskell n'est pas une option. > > >> Pour le meetup, je parlais de ?a: http://www.meetup.com/haskell-paris/ >> >> Oui, je me doutais que ?a serait celui-l?. Toujours le m?me probl?me de se taper 700 bornes de voiture/train/avion pour un meetup :p > > > +1 > > Je connais le probl?me, mais comme je travaille pour un ?diteur sur Paris je me d?place pour un peu plus qu?un Meetup. Apr?s, on pourrait se la jouer 21?me si?cle et faire une meetup r?parti en t?l?conf ! Apr?s tout, hangout a ?t? plus ou moins pr?vu pour ?a non ? > > ?a serait une grosse rustine et puis, m?me en tant qu'asocial, je consid?re que les r?unions physiques permettent plus d'interactions, notamment la cr?ation d'une multitude de petits groupes informels de fa?on tr?s dynamique, ce que ne permet pas Hangout ou autre. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Fri Apr 18 09:38:55 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Fri, 18 Apr 2014 11:38:55 +0200 Subject: [Haskell-fr] =?utf-8?q?BOF_=C3=A0_Devoxx?= In-Reply-To: <55F2F118-A885-4366-BABF-A879EF72544C@gmail.com> References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> <83ABDBFC-4A1A-4EFD-B55D-7BEF9F53A2C5@gmail.com> <55F2F118-A885-4366-BABF-A879EF72544C@gmail.com> Message-ID: Le 18 avril 2014 11:25, Arnaud Bailly a ?crit : > Si personne n?y voit d?inconv?nient, je vais essayer de 1/ trouver un lieu > et 2/ poster une annonce pour 3/ faire venir des gens, aux environs de fin > mai-d?but juin. > Si c'est pour Paris, je ne pourrais pas venir, donc peu m'importe :) Si c'est pour un ?v?nement plus gros, ?a faire short. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Fri Apr 18 11:03:02 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Fri, 18 Apr 2014 13:03:02 +0200 Subject: [Haskell-fr] =?iso-8859-1?q?BOF_=E0_Devoxx?= In-Reply-To: References: <41DC7E27-4DE8-4CEA-8E4D-C8BAB7BA5FDC@gmail.com> <4C912259-8F0A-4AE6-87F0-891FC6F12342@gmail.com> <83ABDBFC-4A1A-4EFD-B55D-7BEF9F53A2C5@gmail.com> <55F2F118-A885-4366-BABF-A879EF72544C@gmail.com> Message-ID: Non ce sera pour Paris pour l?instant. Je vais quand m?me r?essayer de motiver d?autres personnes autour d?un ?v?nement d?ici ? la fin d?ann?e. ON avait parl? d?une mini-conf FP cross-langages avec des clojuristes, mais c?est tomb? ? l?eau je crois. On 18 Apr 2014, at 11:38, Gautier DI FOLCO wrote: > Le 18 avril 2014 11:25, Arnaud Bailly a ?crit : > Si personne n?y voit d?inconv?nient, je vais essayer de 1/ trouver un lieu et 2/ poster une annonce pour 3/ faire venir des gens, aux environs de fin mai-d?but juin. > > Si c'est pour Paris, je ne pourrais pas venir, donc peu m'importe :) > Si c'est pour un ?v?nement plus gros, ?a faire short. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Mon Apr 28 08:57:32 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Mon, 28 Apr 2014 10:57:32 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 Message-ID: Bonjour ? tous, J'ai une formation sur Haskell ? la fin de la semaine et le formateur nous demande d'avoir ? la fois GHC 7.6.3 et GHC 7.8.2 ainsi que Cabal 1.18+. Malheureusement GHC 7.8.2 n'est pas encore port? de partout (pas sous Arch Linux x86_64 en tout cas) du coup j'ai d?cid? de r?cup?rer (attention buzzword) une image Docker. GHC 7.8.2 y est bien install?, j'ai mis ? jour cabal vers la 1.20.0.0, jusque l? tout va bien. Par contre, d?s que je test cabal pour installer dapi par exemple, ?a plante : $ cabal install dapi Resolving dependencies... cabal: Could not resolve dependencies: trying: dapi-0.2.0.0 (user goal) next goal: base (dependency of dapi-0.2.0.0) rejecting: base-4.7.0.0/installed-018... (conflict: dapi => base==4.6.*) rejecting: base-4.7.0.0, 4.6.0.1, 4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, 4.3.1.0, 4.3.0.0, 4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0, 3.0.3.2, 3.0.3.1 (global constraint requires installed instance) Dependency tree exhaustively searched. Je comprends bien l'erreur (en gros dapi ? besoin d'une version ant?rieur de base), mais j'aimerais savoir s'il y a un test fiable qui me permettrais de voir si cabal est fonctionnel. Le truc c'est que je suis bien arriv? ? installer lens, du coup je suis en plein doute. Merci par avance pour votre aide. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Mon Apr 28 08:58:42 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Mon, 28 Apr 2014 10:58:42 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: Message-ID: <0B4F948E-F6CD-4F67-9156-028E7B60786E@gmail.com> Tu as essay? dans une sandbox ? On 28 Apr 2014, at 10:57, Gautier DI FOLCO wrote: > Bonjour ? tous, > > J'ai une formation sur Haskell ? la fin de la semaine et le formateur nous demande d'avoir ? la fois GHC 7.6.3 et GHC 7.8.2 ainsi que Cabal 1.18+. > Malheureusement GHC 7.8.2 n'est pas encore port? de partout (pas sous Arch Linux x86_64 en tout cas) du coup j'ai d?cid? de r?cup?rer (attention buzzword) une image Docker. > GHC 7.8.2 y est bien install?, j'ai mis ? jour cabal vers la 1.20.0.0, jusque l? tout va bien. > Par contre, d?s que je test cabal pour installer dapi par exemple, ?a plante : > $ cabal install dapi > Resolving dependencies... > cabal: Could not resolve dependencies: > trying: dapi-0.2.0.0 (user goal) > next goal: base (dependency of dapi-0.2.0.0) > rejecting: base-4.7.0.0/installed-018... (conflict: dapi => base==4.6.*) > rejecting: base-4.7.0.0, 4.6.0.1, 4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, > 4.3.1.0, 4.3.0.0, 4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0, 3.0.3.2, > 3.0.3.1 (global constraint requires installed instance) > Dependency tree exhaustively searched. > > Je comprends bien l'erreur (en gros dapi ? besoin d'une version ant?rieur de base), mais j'aimerais savoir s'il y a un test fiable qui me permettrais de voir si cabal est fonctionnel. Le truc c'est que je suis bien arriv? ? installer lens, du coup je suis en plein doute. > > Merci par avance pour votre aide. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Mon Apr 28 09:08:25 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Mon, 28 Apr 2014 11:08:25 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: <0B4F948E-F6CD-4F67-9156-028E7B60786E@gmail.com> References: <0B4F948E-F6CD-4F67-9156-028E7B60786E@gmail.com> Message-ID: Le 28 avril 2014 10:58, Arnaud Bailly a ?crit : > Tu as essay? dans une sandbox ? > Tu veux dire mettre GHC 7.8.2 dans une sandbox cabal ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Mon Apr 28 09:10:08 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Mon, 28 Apr 2014 11:10:08 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: <0B4F948E-F6CD-4F67-9156-028E7B60786E@gmail.com> Message-ID: Non, je veux dire cr?er une sandbox et invoquer cabal install XXX dedans. On 28 Apr 2014, at 11:08, Gautier DI FOLCO wrote: > Le 28 avril 2014 10:58, Arnaud Bailly a ?crit : > Tu as essay? dans une sandbox ? > > Tu veux dire mettre GHC 7.8.2 dans une sandbox cabal ? > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From gautier.difolco at gmail.com Mon Apr 28 09:24:48 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Mon, 28 Apr 2014 11:24:48 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: <0B4F948E-F6CD-4F67-9156-028E7B60786E@gmail.com> Message-ID: Le 28 avril 2014 11:10, Arnaud Bailly a ?crit : > Non, je veux dire cr?er une sandbox et invoquer cabal install XXX dedans. > Non, mais ?a n'est pas mieux : $ mkdir sandox_test $ cd sandox_test $ pwd /root/sandox_test $ cabal sandbox init Writing a default package environment file to /root/sandox_test/cabal.sandbox.config Creating a new sandbox at /root/sandox_test/.cabal-sandbox $ cabal install dapi Resolving dependencies... cabal: Could not resolve dependencies: trying: dapi-0.2.0.0 (user goal) next goal: base (dependency of dapi-0.2.0.0) rejecting: base-4.7.0.0/installed-018... (conflict: dapi => base==4.6.*) rejecting: base-4.7.0.0, 4.6.0.1, 4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, 4.3.1.0, 4.3.0.0, 4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0, 3.0.3.2, 3.0.3.1 (global constraint requires installed instance) Dependency tree exhaustively searched. Note: when using a sandbox, all packages are required to have consistent dependencies. Try reinstalling/unregistering the offending packages or recreating the sandbox. Alors que ?a marche sur mon syst?me h?te. -------------- next part -------------- An HTML attachment was scrubbed... URL: From arnaud.oqube at gmail.com Mon Apr 28 09:27:04 2014 From: arnaud.oqube at gmail.com (Arnaud Bailly) Date: Mon, 28 Apr 2014 11:27:04 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: <0B4F948E-F6CD-4F67-9156-028E7B60786E@gmail.com> Message-ID: J?ai l?impression que c?est pas gagn? : http://stackoverflow.com/questions/6312592/haskell-cabal-how-to-ignore-dependencies Base ?tant un package core, install? avec ghc, j?imagine que c?est assez logique. On 28 Apr 2014, at 11:24, Gautier DI FOLCO wrote: > Le 28 avril 2014 11:10, Arnaud Bailly a ?crit : > Non, je veux dire cr?er une sandbox et invoquer cabal install XXX dedans. > > Non, mais ?a n'est pas mieux : > $ mkdir sandox_test > $ cd sandox_test > $ pwd > /root/sandox_test > $ cabal sandbox init > Writing a default package environment file to > /root/sandox_test/cabal.sandbox.config > Creating a new sandbox at /root/sandox_test/.cabal-sandbox > $ cabal install dapi > Resolving dependencies... > cabal: Could not resolve dependencies: > trying: dapi-0.2.0.0 (user goal) > next goal: base (dependency of dapi-0.2.0.0) > rejecting: base-4.7.0.0/installed-018... (conflict: dapi => base==4.6.*) > rejecting: base-4.7.0.0, 4.6.0.1, 4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, > 4.3.1.0, 4.3.0.0, 4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0, 3.0.3.2, > 3.0.3.1 (global constraint requires installed instance) > Dependency tree exhaustively searched. > > Note: when using a sandbox, all packages are required to have consistent > dependencies. Try reinstalling/unregistering the offending packages or > recreating the sandbox. > > Alors que ?a marche sur mon syst?me h?te. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From simon at banquise.net Mon Apr 28 09:51:34 2014 From: simon at banquise.net (Simon Marechal) Date: Mon, 28 Apr 2014 11:51:34 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: Message-ID: <535E24A6.1010404@banquise.net> On 04/28/2014 10:57 AM, Gautier DI FOLCO wrote: > Je comprends bien l'erreur (en gros dapi ? besoin d'une version > ant?rieur de base), mais j'aimerais savoir s'il y a un test fiable qui > me permettrais de voir si cabal est fonctionnel. Le truc c'est que je > suis bien arriv? ? installer lens, du coup je suis en plein doute. La derni?re version de cabal a une option permettant d'ignorer les limites hautes de versions dans les d?pendances. Il y a 80% de chances que ?a permette de compiler le package. Mais si tu as install? lens, ?a veut dire que tu as install? un paquet de packages, ce qui semble prouver que cabal fonctionne. From alpmestan at gmail.com Mon Apr 28 10:50:30 2014 From: alpmestan at gmail.com (Alp Mestanogullari) Date: Mon, 28 Apr 2014 12:50:30 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: <535E24A6.1010404@banquise.net> References: <535E24A6.1010404@banquise.net> Message-ID: Tu peux 'cabal unpack dapi', ?a va cr?er un dossier 'dapi' l? o? tu es dans ton shell, tu vas dedans, tu changes 'base == 4.6.*' en 'base >= 4 && <5'. Ca revient un peu ? utiliser l'option qui ignores les "upper bounds". 2014-04-28 11:51 GMT+02:00 Simon Marechal : > On 04/28/2014 10:57 AM, Gautier DI FOLCO wrote: > > Je comprends bien l'erreur (en gros dapi ? besoin d'une version > > ant?rieur de base), mais j'aimerais savoir s'il y a un test fiable qui > > me permettrais de voir si cabal est fonctionnel. Le truc c'est que je > > suis bien arriv? ? installer lens, du coup je suis en plein doute. > > La derni?re version de cabal a une option permettant d'ignorer les > limites hautes de versions dans les d?pendances. Il y a 80% de chances > que ?a permette de compiler le package. > > Mais si tu as install? lens, ?a veut dire que tu as install? un paquet > de packages, ce qui semble prouver que cabal fonctionne. > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > -- Alp Mestanogullari -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Mon Apr 28 10:56:42 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Mon, 28 Apr 2014 12:56:42 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: <0B4F948E-F6CD-4F67-9156-028E7B60786E@gmail.com> Message-ID: 2014-04-28 11:27 GMT+02:00 Arnaud Bailly : > J?ai l?impression que c?est pas gagn? : > http://stackoverflow.com/questions/6312592/haskell-cabal-how-to-ignore-dependencies > > Base ?tant un package core, install? avec ghc, j?imagine que c?est assez > logique. > Je trouve ?a parfaitement logique, mais c'est p?nible :/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Mon Apr 28 10:59:55 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Mon, 28 Apr 2014 12:59:55 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: <535E24A6.1010404@banquise.net> Message-ID: Le 28 avril 2014 12:50, Alp Mestanogullari a ?crit : > Tu peux 'cabal unpack dapi', ?a va cr?er un dossier 'dapi' l? o? tu es > dans ton shell, tu vas dedans, tu changes 'base == 4.6.*' en 'base >= 4 && > <5'. Ca revient un peu ? utiliser l'option qui ignores les "upper bounds". > Je retiens la commande, merci. > 2014-04-28 11:51 GMT+02:00 Simon Marechal : > > On 04/28/2014 10:57 AM, Gautier DI FOLCO wrote: >> > Je comprends bien l'erreur (en gros dapi ? besoin d'une version >> > ant?rieur de base), mais j'aimerais savoir s'il y a un test fiable qui >> > me permettrais de voir si cabal est fonctionnel. Le truc c'est que je >> > suis bien arriv? ? installer lens, du coup je suis en plein doute. >> >> La derni?re version de cabal a une option permettant d'ignorer les >> limites hautes de versions dans les d?pendances. Il y a 80% de chances >> que ?a permette de compiler le package. >> > --allow-newer et ?a semble fonctionner pour ce paquet, merci. > Mais si tu as install? lens, ?a veut dire que tu as install? un paquet >> de packages, ce qui semble prouver que cabal fonctionne. >> > C'est mon raisonnement aussi, mais personne n'a eu le soucis ? vous ?tes encore sous GHC 7.6.3 ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From alpmestan at gmail.com Mon Apr 28 11:18:07 2014 From: alpmestan at gmail.com (Alp Mestanogullari) Date: Mon, 28 Apr 2014 13:18:07 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: <535E24A6.1010404@banquise.net> Message-ID: J'ai les deux mais pas vraiment eu beaucoup de soucis jusque l?. Au boulot, tous les packages qu'on utilise ont assez vite suivi au final. C?t? perso idem. Mais souvent c'est gr?ce aux gens qui sp?cifient leurs versions de fa?on assez ?troite, ou font des changements juste avant qu'un nouveau GHC soit publi?. 2014-04-28 12:59 GMT+02:00 Gautier DI FOLCO : > Le 28 avril 2014 12:50, Alp Mestanogullari a ?crit : > > Tu peux 'cabal unpack dapi', ?a va cr?er un dossier 'dapi' l? o? tu es >> dans ton shell, tu vas dedans, tu changes 'base == 4.6.*' en 'base >= 4 && >> <5'. Ca revient un peu ? utiliser l'option qui ignores les "upper bounds". >> > > Je retiens la commande, merci. > > >> 2014-04-28 11:51 GMT+02:00 Simon Marechal : >> >> On 04/28/2014 10:57 AM, Gautier DI FOLCO wrote: >>> > Je comprends bien l'erreur (en gros dapi ? besoin d'une version >>> > ant?rieur de base), mais j'aimerais savoir s'il y a un test fiable qui >>> > me permettrais de voir si cabal est fonctionnel. Le truc c'est que je >>> > suis bien arriv? ? installer lens, du coup je suis en plein doute. >>> >>> La derni?re version de cabal a une option permettant d'ignorer les >>> limites hautes de versions dans les d?pendances. Il y a 80% de chances >>> que ?a permette de compiler le package. >>> >> > --allow-newer > et ?a semble fonctionner pour ce paquet, merci. > > >> Mais si tu as install? lens, ?a veut dire que tu as install? un paquet >>> de packages, ce qui semble prouver que cabal fonctionne. >>> >> > C'est mon raisonnement aussi, mais personne n'a eu le soucis ? vous ?tes > encore sous GHC 7.6.3 ? > > _______________________________________________ > Haskell-fr mailing list > Haskell-fr at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-fr > > -- Alp Mestanogullari -------------- next part -------------- An HTML attachment was scrubbed... URL: From gautier.difolco at gmail.com Mon Apr 28 12:01:15 2014 From: gautier.difolco at gmail.com (Gautier DI FOLCO) Date: Mon, 28 Apr 2014 14:01:15 +0200 Subject: [Haskell-fr] Cabal et GHC 7.8.2 In-Reply-To: References: <535E24A6.1010404@banquise.net> Message-ID: Le 28 avril 2014 13:18, Alp Mestanogullari a ?crit : > J'ai les deux mais pas vraiment eu beaucoup de soucis jusque l?. Au > boulot, tous les packages qu'on utilise ont assez vite suivi au final. C?t? > perso idem. Mais souvent c'est gr?ce aux gens qui sp?cifient leurs versions > de fa?on assez ?troite, ou font des changements juste avant qu'un nouveau > GHC soit publi?. > ok, je pars donc du principe que ?a vient du paquet et pas de mon installation. Merci. -------------- next part -------------- An HTML attachment was scrubbed... URL: