Prochaine séance

26 views
Skip to first unread message

Clément Delafargue

unread,
Feb 24, 2013, 6:25:49 AM2/24/13
to other
Bon, on continue sur quoi ?

C.

Jonathan Winandy

unread,
Feb 24, 2013, 6:34:09 AM2/24/13
to nant...@googlegroups.com
Sur le stockage "immuable" ? 

2013/2/24 Clément Delafargue <cle...@delafargue.name>
Bon, on continue sur quoi ?

C.

--
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.
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?hl=fr .
Pour plus d'options, visitez le site https://groups.google.com/groups/opt_out .



Mogzor

unread,
Feb 24, 2013, 7:12:01 AM2/24/13
to nant...@googlegroups.com
si ça tente des gens j'veux bien faire une ptite séance Prolog

2013/2/24 Jonathan Winandy <jonathan...@gmail.com>:

Pierre-Alexandre Voye

unread,
Feb 24, 2013, 7:18:23 AM2/24/13
to nant...@googlegroups.com

Rodolphe BELOUIN

unread,
Feb 24, 2013, 7:35:51 AM2/24/13
to nant...@googlegroups.com
+1


2013/2/24 Pierre-Alexandre Voye <ontol...@gmail.com>

Jonathan Winandy

unread,
Feb 24, 2013, 8:08:07 AM2/24/13
to nant...@googlegroups.com
Moi qui voulait parler de Datalog ! ^_^

Prolog c'est bien, il faut en faire une séance.

2013/2/24 Rodolphe BELOUIN <rodolphe...@gmail.com>

Clément Delafargue

unread,
Feb 24, 2013, 8:26:45 AM2/24/13
to nant...@googlegroups.com
Les deux me tentent. J'ai fait un peu de prolog � l'�cole mais pas de mani�re
assez approfondie.

Les storage immuables me tentent bien aussi.

C.

Jonathan Winandy wrote:
> Moi qui voulait parler de Datalog ! ^_^
>
> Prolog c'est bien, il faut en faire une s�ance.
>
> 2013/2/24 Rodolphe BELOUIN <rodolphe...@gmail.com>
>
> > +1
> >
> >
> > 2013/2/24 Pierre-Alexandre Voye <ontol...@gmail.com>
> >
> >> Moi �a me tente !
> >>
> >>
> >> Le 24 f�vrier 2013 13:12, Mogzor <mog...@gmail.com> a �crit :
> >>
> >> si �a tente des gens j'veux bien faire une ptite s�ance Prolog
> >>>
> >>> 2013/2/24 Jonathan Winandy <jonathan...@gmail.com>:
> >>> > Sur le stockage "immuable" ?
> >>> >
> >>> >
> >>> > 2013/2/24 Cl�ment Delafargue <cle...@delafargue.name>
> >>> >>
> >>> >> Bon, on continue sur quoi ?
> >>> >>
> >>> >> C.
> >>> >>
> >>> >> --
> >>> >> 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.
> >>> >> 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?hl=fr .
> >>> >> Pour plus d'options, visitez le site
> >>> >> https://groups.google.com/groups/opt_out .
> >>> >>
> >>> >>
> >>> >
> >>> > --
> >>> > 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.
> >>> > 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?hl=fr
> >>> > .
> >>> > Pour plus d'options, visitez le site
> >>> > https://groups.google.com/groups/opt_out .
> >>> >
> >>> >
> >>>
> >>> --
> >>> 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.
> >>> 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?hl=fr .
> >>> Pour plus d'options, visitez le site
> >>> https://groups.google.com/groups/opt_out .
> >>>
> >>>
> >>>
> >>
> >>
> >> --
> >> ---------------------
> >> https://twitter.com/#!/ontologiae/
> >> http://linuxfr.org/users/montaigne
> >>
> >> --
> >> 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.
> >> 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?hl=fr .
> >> Pour plus d'options, visitez le site
> >> https://groups.google.com/groups/opt_out .
> >>
> >>
> >>
> >
> > --
> > 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.
> > 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?hl=fr .
> > Pour plus d'options, visitez le site
> > https://groups.google.com/groups/opt_out .
> >
> >
> >
>
> --
> 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.
> 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?hl=fr .

Pierre-Alexandre Voye

unread,
Feb 24, 2013, 5:31:05 PM2/24/13
to nant...@googlegroups.com
Pourriez pas faire une synthèse entre les 2 ?

Maxime Folschette

unread,
Jun 10, 2013, 9:37:39 AM6/10/13
to nant...@googlegroups.com
Salut,

Je débarque un peu, mais je tenais à dire que c'est une bonne idée le Prolog.
Pas loin de Prolog, il y a aussi ASP (Answer Set Programming, pas Active Server Pages) qui s'intéresse davantage aux ensembles de réponses qu'à la construction de la solution. J'avais travaillé dessus au Japon, et je m'en re-sers régulièrement, c'est assez intéressant comme paradigme.

Maxime

Clement Delafargue

unread,
Jun 10, 2013, 10:21:44 AM6/10/13
to nant...@googlegroups.com

Sinon, un autre truc qui avait été envisagé: retour d'XP sur la programmation fonctionnelle sur des projets "réels", ie pas des oneliners pour calculer la suite de Fibonacci.

L'idée est d'expliquer aux newcomers de la FP comment switcher vers du fonctionnel, en montrant que ça n'est pas dur

On fait un framadoodle pour ordonner le merdier ?

Albert

unread,
Jun 10, 2013, 11:06:54 AM6/10/13
to nant...@googlegroups.com
Salut,

Je trouve cette idée alléchante. Si vous avez des exemples de projets 'déployés' avec des composantes fonctionnelles, ce serait très intéressant de voir l'articulation de la partie FP avec le reste du système, pourquoi avoir choisi du fonctionnel, des retours sur les perfs/la complexité,/le temps de dev/la maintenance/qualité, des éléments de méthodo déployés, etc.




De: "Clement Delafargue" <cle...@delafargue.name>
À: nant...@googlegroups.com
Envoyé: Lundi 10 Juin 2013 16:21:44
Objet: Re: Prochaine séance

Clement Delafargue

unread,
Jun 10, 2013, 11:11:33 AM6/10/13
to nant...@googlegroups.com
Albert: pour mes projets: applications web (REST API / full stack
apps) en full fonctionnel (scala)
Hammertime: application en CLI (haskell)
Des bouts de JS (single-page apps mi OO / mi fonctionnel)

Je crois que Pierre Alexandre avait pour projet de parler de l'appli
de GED sur laquelle il bosse.


Cordialement,
Clément Delafargue
cle...@delafargue.name
http://www.eklaweb.com

PGP Fingerprint : 5311 A6C4 8416 5378 3019 B977 FFB4 9299 EAE0 ED53


2013/6/10 Albert <alber...@see4sys.com>:

Mog

unread,
Jun 10, 2013, 12:26:22 PM6/10/13
to nant...@googlegroups.com
Pour ce qui est du Prolog, je pourrai pas y participer avant le
premier aout, si vous l'avez pas faite d'ici l� et que �a int�resse
toujours du monde je suis toujours partant pour faire un truc.

Hf d'ici l� !

Hugo

On 06/10/2013 04:11 PM, Clement Delafargue wrote:
> Albert: pour mes projets: applications web (REST API / full stack
> apps) en full fonctionnel (scala) Hammertime: application en CLI
> (haskell) Des bouts de JS (single-page apps mi OO / mi
> fonctionnel)
>
> Je crois que Pierre Alexandre avait pour projet de parler de
> l'appli de GED sur laquelle il bosse.
>
>
> Cordialement, Cl�ment Delafargue cle...@delafargue.name
> http://www.eklaweb.com
>
> PGP Fingerprint : 5311 A6C4 8416 5378 3019 B977 FFB4 9299 EAE0
> ED53
>
>
> 2013/6/10 Albert <alber...@see4sys.com>:
>> Salut,
>>
>> Je trouve cette id�e all�chante. Si vous avez des exemples de
>> projets 'd�ploy�s' avec des composantes fonctionnelles, ce serait
>> tr�s int�ressant de voir l'articulation de la partie FP avec le
>> reste du syst�me, pourquoi avoir choisi du fonctionnel, des
>> retours sur les perfs/la complexit�,/le temps de dev/la
>> maintenance/qualit�, des �l�ments de m�thodo d�ploy�s, etc.
>>
>>
>>
>> ________________________________ De: "Clement Delafargue"
>> <cle...@delafargue.name> �: nant...@googlegroups.com Envoy�:
>> Lundi 10 Juin 2013 16:21:44 Objet: Re: Prochaine s�ance
>>
>>
>> Sinon, un autre truc qui avait �t� envisag�: retour d'XP sur la
>> programmation fonctionnelle sur des projets "r�els", ie pas des
>> oneliners pour calculer la suite de Fibonacci.
>>
>> L'id�e est d'expliquer aux newcomers de la FP comment switcher
>> vers du fonctionnel, en montrant que �a n'est pas dur
>>
>> On fait un framadoodle pour ordonner le merdier ?
>>
>> Le 10 juin 2013 15:37, "Maxime Folschette"
>> <maxime.f...@gmail.com> a �crit :
>>>
>>> Salut,
>>>
>>> Je d�barque un peu, mais je tenais � dire que c'est une bonne
>>> id�e le Prolog. Pas loin de Prolog, il y a aussi ASP (Answer
>>> Set Programming, pas Active Server Pages) qui s'int�resse
>>> davantage aux ensembles de r�ponses qu'� la construction de la
>>> solution. J'avais travaill� dessus au Japon, et je m'en re-sers
>>> r�guli�rement, c'est assez int�ressant comme paradigme.
>>>
>>> Maxime
>>>
>>>
>>> On Sunday, February 24, 2013 11:31:05 PM UTC+1,
>>> Pierre-Alexandre Voye wrote:
>>>>
>>>> Pourriez pas faire une synth�se entre les 2 ?
>>>>
>>>>
>>>> Le 24 f�vrier 2013 14:08, Jonathan Winandy
>>>> <jonathan...@gmail.com> a �crit :
>>>>>
>>>>> Moi qui voulait parler de Datalog ! ^_^
>>>>>
>>>>> Prolog c'est bien, il faut en faire une s�ance.
>>>>>
>>>>>
>>>>> 2013/2/24 Rodolphe BELOUIN <rodolphe...@gmail.com>
>>>>>>
>>>>>> +1
>>>>>>
>>>>>>
>>>>>> 2013/2/24 Pierre-Alexandre Voye <ontol...@gmail.com>
>>>>>>>
>>>>>>> Moi �a me tente !
>>>>>>>
>>>>>>>
>>>>>>> Le 24 f�vrier 2013 13:12, Mogzor <mog...@gmail.com> a
>>>>>>> �crit :
>>>>>>>
>>>>>>>> si �a tente des gens j'veux bien faire une ptite
>>>>>>>> s�ance Prolog
>>>>>>>>
>>>>>>>> 2013/2/24 Jonathan Winandy <jonathan...@gmail.com>:
>>>>>>>>> Sur le stockage "immuable" ?
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> 2013/2/24 Cl�ment Delafargue
>>>>>>>>> <cle...@delafargue.name>
>>>>>>>>>>
>>>>>>>>>> Bon, on continue sur quoi ?
>>>>>>>>>>
>>>>>>>>>> C.
>>>>>>>>>>
>>>>>>>>>> -- 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. 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?hl=fr .
>>>>>>>>>> Pour plus d'options, visitez le site
>>>>>>>>>> https://groups.google.com/groups/opt_out .
>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> -- 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. 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?hl=fr .
>>>>>>>>> Pour plus d'options, visitez le site
>>>>>>>>> https://groups.google.com/groups/opt_out .
>>>>>>>>>
>>>>>>>>>
>>>>>>>>
>>>>>>>> -- 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. 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?hl=fr . Pour
>>>>>>>> plus d'options, visitez le site
>>>>>>>> https://groups.google.com/groups/opt_out .
>>>>>>>>
>>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> -- ---------------------
>>>>>>> https://twitter.com/#!/ontologiae/
>>>>>>> http://linuxfr.org/users/montaigne
>>>>>>>
>>>>>>> -- 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. 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?hl=fr . Pour
>>>>>>> plus d'options, visitez le site
>>>>>>> https://groups.google.com/groups/opt_out .
>>>>>>>
>>>>>>>
>>>>>>
>>>>>>
>>>>>> -- 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. 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?hl=fr . Pour
>>>>>> plus d'options, visitez le site
>>>>>> https://groups.google.com/groups/opt_out .
>>>>>>
>>>>>>
>>>>>
>>>>>
>>>>> -- 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. 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?hl=fr . Pour plus
>>>>> d'options, visitez le site
>>>>> https://groups.google.com/groups/opt_out .
>>>>>
>>>>>
>>>>
>>>>
>>>>
>>>>
>>>> -- --------------------- https://twitter.com/#!/ontologiae/
>>>> http://linuxfr.org/users/montaigne
>>>
>>> -- 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. 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?hl=fr . Pour plus
>>> d'options, visitez le site
>>> https://groups.google.com/groups/opt_out .
>>>
>>>
>>
>> -- 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. 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?hl=fr . Pour plus
>> d'options, visitez le site
>> https://groups.google.com/groups/opt_out .
>>
>>
>>
>> -- 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. Pour envoyer un message �
>> ce groupe, adressez un e-mail � nant...@googlegroups.com.
>> Visitez ce groupe � l'adresse
Reply all
Reply to author
Forward
0 new messages