Conseils pour une talk Haskell
15 views
Skip to first unread message
Hugo Mougard
Apr 25, 2014, 12:35:51 AM4/25/14
to nant...@googlegroups.com
Hello les Nantes FP-eux,
Je donne une talk sur la FP (par Haskell) bientôt et je voulais avoir
vos avis sur les trucs importants à présenter. Pour l'instant je compte
parler de :
- l'intérêt de la programmation déclarative
- l'intérêt des structures de données immutables
- transparence référentielle
- tests génératif
- parallélisation
- correction du code
Je comptais aussi filer deux trois exos mais j'étais pas sûr des quels.
Je prends les avis si y en a !
Cyall,
Hugo
Je donne une talk sur la FP (par Haskell) bientôt et je voulais avoir
vos avis sur les trucs importants à présenter. Pour l'instant je compte
parler de :
- l'intérêt de la programmation déclarative
- l'intérêt des structures de données immutables
- transparence référentielle
- tests génératif
- parallélisation
- correction du code
Je comptais aussi filer deux trois exos mais j'étais pas sûr des quels.
Je prends les avis si y en a !
Cyall,
Hugo
Christophe Gragnic
Apr 25, 2014, 3:32:23 AM4/25/14
to nant...@googlegroups.com
Salut.
2014-04-25 6:35 GMT+02:00 Hugo Mougard <m...@crydee.eu>:
>
> Je donne une talk sur la FP (par Haskell) bientôt et je voulais avoir vos
> avis sur les trucs importants à présenter. Pour l'instant je compte parler
> de :
>
> - l'intérêt de la programmation déclarative
> - l'intérêt des structures de données immutables
> - transparence référentielle
> - tests génératif
> - parallélisation
> - correction du code
Tout ça c’est super. Ça fait un programme des festivité bien gros je trouve.
Faut voir. C’est pour quel public? Sur combien de temps?
Ah tiens, il manque peut-être la lazy evaluation.
> Je comptais aussi filer deux trois exos mais j'étais pas sûr des quels. Je
> prends les avis si y en a !
Un truc que j’aime bien en tant que matheux, c’est la concision et la
lisibilité que l’on peut atteindre avec le currying, la composition et
le «point free».
C’est justement l’occaze de donner des exos qui demandent à réexprimer
des splittages, puis des itérations qui poussent dans des accumulateurs.
Avec quelques fonctions bien choisies et bien emboîtées, on torche ça
en une demie ligne. À utiliser avec `interact`.
Faudrait trouver une suite d’exemples pédagogiques, comme celui-là:
https://groups.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs
Pour la lazyness (pompé ici:learnyouahaskell.com/higher-order-functions):
sum (takeWhile (<10000) (filter odd (map (^2) [1..])))
Je te souhaite une bonne prez. C’est quand?
2014-04-25 6:35 GMT+02:00 Hugo Mougard <m...@crydee.eu>:
>
> Je donne une talk sur la FP (par Haskell) bientôt et je voulais avoir vos
> avis sur les trucs importants à présenter. Pour l'instant je compte parler
> de :
>
> - l'intérêt de la programmation déclarative
> - l'intérêt des structures de données immutables
> - transparence référentielle
> - tests génératif
> - parallélisation
> - correction du code
Faut voir. C’est pour quel public? Sur combien de temps?
Ah tiens, il manque peut-être la lazy evaluation.
> Je comptais aussi filer deux trois exos mais j'étais pas sûr des quels. Je
> prends les avis si y en a !
lisibilité que l’on peut atteindre avec le currying, la composition et
le «point free».
C’est justement l’occaze de donner des exos qui demandent à réexprimer
des splittages, puis des itérations qui poussent dans des accumulateurs.
Avec quelques fonctions bien choisies et bien emboîtées, on torche ça
en une demie ligne. À utiliser avec `interact`.
Faudrait trouver une suite d’exemples pédagogiques, comme celui-là:
https://groups.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs
Pour la lazyness (pompé ici:learnyouahaskell.com/higher-order-functions):
sum (takeWhile (<10000) (filter odd (map (^2) [1..])))
Je te souhaite une bonne prez. C’est quand?
Hugo Mougard
Apr 25, 2014, 4:02:48 AM4/25/14
to nant...@googlegroups.com
Merci pour l'input :)
Le 2014-04-25 16:32, Christophe Gragnic a écrit :
> Tout ça c’est super. Ça fait un programme des festivité bien gros je
> trouve.
> Faut voir. C’est pour quel public? Sur combien de temps?
> Ah tiens, il manque peut-être la lazy evaluation.
>
C'est pour des masters / PhDs / chercheurs. Ils sont bons dans
l'ensemble donc je préfère voir grand au cas où ça aille vite !
La lazy evaluation ça m'intéresse mais c'est moins général en FP et
plus spécifique Haskell donc j'hésitais un peu. Mais ça vaut le coup
d'en parler en tant qu'avantage de la transparence référentielle c'est
vrai :)
Le 2014-04-25 16:32, Christophe Gragnic a écrit :
> Un truc que j’aime bien en tant que matheux, c’est la concision et la
> lisibilité que l’on peut atteindre avec le currying, la composition
> et
> le «point free».
> C’est justement l’occaze de donner des exos qui demandent à
> réexprimer
> des splittages, puis des itérations qui poussent dans des
> accumulateurs.
> Avec quelques fonctions bien choisies et bien emboîtées, on torche ça
> en une demie ligne. À utiliser avec `interact`.
>
Yup c'est vrai. Y a pas mal de problèmes euler qui se font bien comme
ça j'vais peut-être en sélectionner un ou deux. Mais j'hésite toujours
pour le côté "not real world" de la chose.
Sinon j'pensais à faire un coup de parsing avec Parsec pour montrer la
puissance du parsing monadique / applicatif et d'un langage fortement
typé.
Ou genre les exemples funs type :
- Monoid + Ordering (l'exemple que divarvel aime bien)
- mémo-combinateurs, sur fibo naïve par exemple. Pour montrer qu'on
peut atteindre des perfs vraiment sympas avec une lisibilité optimale.
Ou pour faire mieux que fibo naïve y a aussi des project euler qui s'y
prêtent bien.
- des démos de typeclasses sympas type des folds / maps sur les arbres,
le non déterminisme sur les listes par sa monade, un peu de either pour
gérer de l'erreur, etc
Mais je sais pas si c'est possible à amener correctement en 3h.
> Faudrait trouver une suite d’exemples pédagogiques, comme celui-là:
>
> https://groups.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs
>
sympa. Oui ça serait pas mal aussi qu'on note ceux qu'on apprécie pour
en faire une compil. Genre qu'on se fasse un dépôt. Je ferai ça après la
séance si j'en ai des corrects :)
> Je te souhaite une bonne prez. C’est quand?
Lundi !
Hugo
Le 2014-04-25 16:32, Christophe Gragnic a écrit :
> Tout ça c’est super. Ça fait un programme des festivité bien gros je
> trouve.
> Faut voir. C’est pour quel public? Sur combien de temps?
> Ah tiens, il manque peut-être la lazy evaluation.
>
l'ensemble donc je préfère voir grand au cas où ça aille vite !
La lazy evaluation ça m'intéresse mais c'est moins général en FP et
plus spécifique Haskell donc j'hésitais un peu. Mais ça vaut le coup
d'en parler en tant qu'avantage de la transparence référentielle c'est
vrai :)
Le 2014-04-25 16:32, Christophe Gragnic a écrit :
> Un truc que j’aime bien en tant que matheux, c’est la concision et la
> lisibilité que l’on peut atteindre avec le currying, la composition
> et
> le «point free».
> C’est justement l’occaze de donner des exos qui demandent à
> réexprimer
> des splittages, puis des itérations qui poussent dans des
> accumulateurs.
> Avec quelques fonctions bien choisies et bien emboîtées, on torche ça
> en une demie ligne. À utiliser avec `interact`.
>
ça j'vais peut-être en sélectionner un ou deux. Mais j'hésite toujours
pour le côté "not real world" de la chose.
Sinon j'pensais à faire un coup de parsing avec Parsec pour montrer la
puissance du parsing monadique / applicatif et d'un langage fortement
typé.
Ou genre les exemples funs type :
- Monoid + Ordering (l'exemple que divarvel aime bien)
- mémo-combinateurs, sur fibo naïve par exemple. Pour montrer qu'on
peut atteindre des perfs vraiment sympas avec une lisibilité optimale.
Ou pour faire mieux que fibo naïve y a aussi des project euler qui s'y
prêtent bien.
- des démos de typeclasses sympas type des folds / maps sur les arbres,
le non déterminisme sur les listes par sa monade, un peu de either pour
gérer de l'erreur, etc
Mais je sais pas si c'est possible à amener correctement en 3h.
> Faudrait trouver une suite d’exemples pédagogiques, comme celui-là:
>
> https://groups.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs
>
en faire une compil. Genre qu'on se fasse un dépôt. Je ferai ça après la
séance si j'en ai des corrects :)
> Je te souhaite une bonne prez. C’est quand?
Hugo
Cédric Pineau
Apr 25, 2014, 4:06:52 AM4/25/14
to nant...@googlegroups.com
--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Nantes FP.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse nantes-fp+unsubscribe@googlegroups.com.
Pour envoyer un message à ce groupe, adressez un e-mail à nant...@googlegroups.com.
Visitez ce groupe à l'adresse http://groups.google.com/group/nantes-fp .
Pour plus d'options, visitez le site https://groups.google.com/d/optout .
--
Cédric
Hugo Mougard
Apr 25, 2014, 4:11:19 AM4/25/14
to nant...@googlegroups.com
À partir du 1er aout ça me va. Avant ça sera dur, vie au Japon oblige.
Mais sinon ça risque d'être simplement une compilation des trois séances
Haskell faites à Nantes FP donc y a toujours les repos github et les
slides correspondantes pour trouver un matériel similaire :)
Si mes slides sont correctes je les mettrai en ligne aussi.
Hugo
Le 2014-04-25 17:06, Cédric Pineau a écrit :
> Tu la redonnerais un soir pour Nantes-FP :-) ?
>
> Cédric
>
> Le 25 avril 2014 10:02, Hugo Mougard <m...@crydee.eu [5]> a écrit :
>
>> Merci pour linput :)
>> lensemble donc je préfère voir grand au cas où ça aille vite !
>>
>> La lazy evaluation ça mintéresse mais cest moins général en FP
>> et plus spécifique Haskell donc jhésitais un peu. Mais ça vaut le
>> coup den parler en tant quavantage de la transparence
>> référentielle cest vrai :)
>> comme ça jvais peut-être en sélectionner un ou deux. Mais
>> jhésite toujours pour le côté "not real world" de la chose.
>>
>> Sinon jpensais à faire un coup de parsing avec Parsec pour montrer
>> la puissance du parsing monadique / applicatif et dun langage
>>
>> Mais je sais pas si cest possible à amener correctement en 3h.
>>
>> Fa
>>
>>> ps.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs"
>>>
>>
>
> target="_blank">https://groups.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs
>>>
>>> sympa. Oui ça serait pas mal aussi quon note ceux quon apprécie
>>> pou
>> e compil. Genre quon se fasse un dépôt. Je ferai ça après la
>> séance si jen ai des corrects :)
>> concernant, envoyez un e-mail à ladresse
>> nantes-fp+...@googlegroups.com [1].
>> Visitez ce groupe à ladresse
>> http://groups.google.com/group/nantes-fp [3] .
>> Pour plus doptions, visitez le site
>> https://groups.google.com/d/optout [4] .
>
> --
> Cédric
> Pour envoyer un message à ce groupe, envoyez un e-mail à l'adresse
> nant...@googlegroups.com [7].
> Pour obtenir davantage d'options, consultez la page
> https://groups.google.com/d/optout [9].
>
>
> Links:
> ------
> [1] mailto:nantes-fp%2Bunsu...@googlegroups.com
> [2] mailto:nant...@googlegroups.com
> [3] http://groups.google.com/group/nantes-fp
> [4] https://groups.google.com/d/optout
> [5] mailto:m...@crydee.eu
> [6] mailto:nantes-fp+...@googlegroups.com
> [7] mailto:nant...@googlegroups.com
> [8] http://groups.google.com/group/nantes-fp
> [9] https://groups.google.com/d/optout
Mais sinon ça risque d'être simplement une compilation des trois séances
Haskell faites à Nantes FP donc y a toujours les repos github et les
slides correspondantes pour trouver un matériel similaire :)
Si mes slides sont correctes je les mettrai en ligne aussi.
Hugo
Le 2014-04-25 17:06, Cédric Pineau a écrit :
> Tu la redonnerais un soir pour Nantes-FP :-) ?
>
> Cédric
>
>
>> Merci pour linput :)
>>
>> Le 2014-04-25 16:32, Christophe Gragnic a écrit :
>>
>>> Tout ça c’est super. Ça fait un programme des festivité bien
>>> gros je trouve.
>>> Faut voir. C’est pour quel public? Sur combien de temps?
>>> Ah tiens, il manque peut-être la lazy evaluation.
>>
>> Cest pour des masters / PhDs / chercheurs. Ils sont bons dans
>> Le 2014-04-25 16:32, Christophe Gragnic a écrit :
>>
>>> Tout ça c’est super. Ça fait un programme des festivité bien
>>> gros je trouve.
>>> Faut voir. C’est pour quel public? Sur combien de temps?
>>> Ah tiens, il manque peut-être la lazy evaluation.
>>
>> lensemble donc je préfère voir grand au cas où ça aille vite !
>>
>> La lazy evaluation ça mintéresse mais cest moins général en FP
>> et plus spécifique Haskell donc jhésitais un peu. Mais ça vaut le
>> coup den parler en tant quavantage de la transparence
>> référentielle cest vrai :)
>>
>> Le 2014-04-25 16:32, Christophe Gragnic a écrit :
>>
>>> Un truc que j’aime bien en tant que matheux, c’est la
>>> concision et la
>>> lisibilité que l’on peut atteindre avec le currying, la
>>> composition et
>>> le «point free».
>>> C’est justement l’occaze de donner des exos qui demandent à
>>> réexprimer
>>> des splittages, puis des itérations qui poussent dans des
>>> accumulateurs.
>>> Avec quelques fonctions bien choisies et bien emboîtées, on
>>> torche ça
>>> en une demie ligne. À utiliser avec `interact`.
>>
>> Yup cest vrai. Y a pas mal de problèmes euler qui se font bien
>> Le 2014-04-25 16:32, Christophe Gragnic a écrit :
>>
>>> Un truc que j’aime bien en tant que matheux, c’est la
>>> concision et la
>>> lisibilité que l’on peut atteindre avec le currying, la
>>> composition et
>>> le «point free».
>>> C’est justement l’occaze de donner des exos qui demandent à
>>> réexprimer
>>> des splittages, puis des itérations qui poussent dans des
>>> accumulateurs.
>>> Avec quelques fonctions bien choisies et bien emboîtées, on
>>> torche ça
>>> en une demie ligne. À utiliser avec `interact`.
>>
>> comme ça jvais peut-être en sélectionner un ou deux. Mais
>> jhésite toujours pour le côté "not real world" de la chose.
>>
>> Sinon jpensais à faire un coup de parsing avec Parsec pour montrer
>> la puissance du parsing monadique / applicatif et dun langage
>> fortement typé.
>>
>> Ou genre les exemples funs type :
>> - Monoid + Ordering (lexemple que divarvel aime bien)
>>
>> Ou genre les exemples funs type :
>> - mémo-combinateurs, sur fibo naïve par exemple. Pour montrer
>> quon peut atteindre des perfs vraiment sympas avec une lisibilité
>> optimale. Ou pour faire mieux que fibo naïve y a aussi des project
>> euler qui sy prêtent bien.
>> - des démos de typeclasses sympas type des folds / maps sur les
>> arbres, le non déterminisme sur les listes par sa monade, un peu de
>> either pour gérer de lerreur, etc
>> arbres, le non déterminisme sur les listes par sa monade, un peu de
>>
>> Mais je sais pas si cest possible à amener correctement en 3h.
>>
>> Fa
>>
>>> ps.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs"
>>>
>>
>
> target="_blank">https://groups.google.com/forum/#!topic/comp.lang.functional/WlFAqMCOiFs
>>>
>>> sympa. Oui ça serait pas mal aussi quon note ceux quon apprécie
>>> pou
>> e compil. Genre quon se fasse un dépôt. Je ferai ça après la
>> séance si jen ai des corrects :)
>>
>> Je te souhaite une bonne prez. C’est quand?
>>
>> Lundi
>>
>>> ss="h5">
>> Je te souhaite une bonne prez. C’est quand?
>>
>> Lundi
>>
>>>
>>> --
>>> Vous recevez ce message,
>>> --
>>> Vous recevez ce message,
>> es abonné au groupe Google Groupes Nantes FP.
>> Pour vous désabonner de ce groupe et ne plus recevoir de-mails le
>> concernant, envoyez un e-mail à ladresse
>> nantes-fp+...@googlegroups.com [1].
>> Pour envoyer un message à ce groupe, adressez un e-mail
>> à nant...@googlegroups.com [2].
>> Visitez ce groupe à ladresse
>> http://groups.google.com/group/nantes-fp [3] .
>> Pour plus doptions, visitez le site
>> https://groups.google.com/d/optout [4] .
>
> --
> Cédric
>
> --
> Vous recevez ce message, car vous êtes abonné au groupe
> Google Groupes "Nantes FP".
> Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le
> concernant, envoyez un e-mail à l'adresse
> nantes-fp+...@googlegroups.com [6].
> --
> Vous recevez ce message, car vous êtes abonné au groupe
> Google Groupes "Nantes FP".
> Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le
> concernant, envoyez un e-mail à l'adresse
> Pour envoyer un message à ce groupe, envoyez un e-mail à l'adresse
> nant...@googlegroups.com [7].
> Visitez ce groupe à l'adresse
> http://groups.google.com/group/nantes-fp [8].
> Pour obtenir davantage d'options, consultez la page
> https://groups.google.com/d/optout [9].
>
>
> Links:
> ------
> [1] mailto:nantes-fp%2Bunsu...@googlegroups.com
> [2] mailto:nant...@googlegroups.com
> [3] http://groups.google.com/group/nantes-fp
> [4] https://groups.google.com/d/optout
> [5] mailto:m...@crydee.eu
> [6] mailto:nantes-fp+...@googlegroups.com
> [7] mailto:nant...@googlegroups.com
> [8] http://groups.google.com/group/nantes-fp
> [9] https://groups.google.com/d/optout
Clement Delafargue
Apr 25, 2014, 5:30:37 AM4/25/14
to nant...@googlegroups.com
On a toujours le plan de faire un gros atelier haskell à Nantes FP. Ça pourrait être un bon squelette.
Regards,
Clément Delafargue
PGP Fingerprint : 5311 A6C4 8416 5378 3019 B977 FFB4 9299 EAE0 ED53
Clément Delafargue
PGP Fingerprint : 5311 A6C4 8416 5378 3019 B977 FFB4 9299 EAE0 ED53
à nant...@googlegroups.com [2].
Pour envoyer un message à ce groupe, adressez un e-mail
Visitez ce groupe à ladresse
http://groups.google.com/group/nantes-fp [3] .
Pour plus doptions, visitez le site
https://groups.google.com/d/optout [4] .
--
Cédric
--
Vous recevez ce message, car vous êtes abonné au groupe
Google Groupes "Nantes FP".
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le
concernant, envoyez un e-mail à l'adresse
nant...@googlegroups.com [7].
Pour envoyer un message à ce groupe, envoyez un e-mail à l'adresse
http://groups.google.com/group/nantes-fp [8].
Visitez ce groupe à l'adresse
https://groups.google.com/d/optout [9].
Pour obtenir davantage d'options, consultez la page
Links:
------
[1] mailto:nantes-fp%2Bunsu...@googlegroups.com
[2] mailto:nantes-fp@googlegroups.com
[6] mailto:nantes-fp+unsubscribe@googlegroups.com
[7] mailto:nantes-fp@googlegroups.com
--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Nantes FP.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse nantes-fp+unsubscribe@googlegroups.com.
Pour envoyer un message à ce groupe, adressez un e-mail à nant...@googlegroups.com.
Visitez ce groupe à l'adresse http://groups.google.com/group/nantes-fp .
Pour plus d'options, visitez le site https://groups.google.com/d/optout .
Reply all
Reply to author
Forward
0 new messages