April 2014 - Haskell-fr

Éclaircissements sur les monades
by Gautier DI FOLCO 24 May '14

24 May '14

Bonjour, Vaste sujet en perspective : les monades. Je pense avoir compris le principe des monades (être en mesure d'effectuer des actions sur une valeur au sein d'un contexte), en revanche il y a deux choses que je ne comprends pas : * La notion de contexte (ou de cadre de calcul) est un peu floue * Pourquoi est-ce que les monades sont aptes à contenir les effets de bords (j'ai lu effectful computations) et pas d'autres typeclass (comme Applicative). Merci par avance pour vos réponses.

7 27

Cabal et GHC 7.8.2
by Gautier DI FOLCO 28 Apr '14

28 Apr '14

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.

4 11

BOF à Devoxx
by Arnaud Bailly 18 Apr '14

18 Apr '14

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

3 12

Contexte nul
by Gautier DI FOLCO 07 Apr '14

07 Apr '14

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/haskel… ) 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.

1 0

Re: [Haskell-fr] Demande de revue de code
by vildric 06 Apr '14

06 Apr '14

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 <gautier.difolco(a)gmail.com> Date : 04/02/2014 2:30 PM (GMT-05:00) À : La liste Haskell Francophone <haskell-fr(a)haskell.org> 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/haskel… (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.

6 26

Demande de revue de code
by Gautier DI FOLCO 02 Apr '14

02 Apr '14

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/haskel… (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.

1 0