Latest topics
» cha dort là dedans !
by LudoH Fri Mar 03, 2017 6:34 am

» Joyeuses fetes
by LudoH Mon Jan 09, 2017 7:29 am

» Hard Rock 100
by Nicodeyme Thu Oct 13, 2016 3:05 pm

» Un coureur fou...
by Nicodeyme Thu Sep 29, 2016 1:25 pm

» Origole 2016
by Virgile Mon Sep 05, 2016 8:47 pm

» 100 miles du sud de la France
by LudoH Mon Aug 08, 2016 9:40 am

» [Compte rendu] Cro-Trail
by LudoH Sun Jul 17, 2016 2:30 pm

» Courbature - Ce n'est pas l'acide lactique !
by LudoH Tue May 24, 2016 7:09 am

» 2,3/4 OFF de roquefort
by LudoH Fri Mar 18, 2016 9:20 am

Who is online?
In total there is 1 user online :: 0 Registered, 0 Hidden and 1 Guest

None

Most users ever online was 22 on Mon Dec 15, 2014 4:37 am
December 2017
MonTueWedThuFriSatSun
    123
45678910
11121314151617
18192021222324
25262728293031

Calendar Calendar

Statistics
We have 30 registered users
The newest registered user is Antoine T.

Our users have posted a total of 9157 messages in 891 subjects
Top posters
LudoH (2629)
 
calimeuhro (2530)
 
S (1252)
 
Nicodeyme (689)
 
Virgile (610)
 
MarBre (526)
 
Rahan (241)
 
jduf (193)
 
LéléH (121)
 
nicomago (82)
 

Top posting users this month

Most active topic starters
LudoH
 
calimeuhro
 
S
 
Nicodeyme
 
MarBre
 
Rahan
 
Virgile
 
jduf
 
poco
 
LéléH
 


15/4 pti footing avec Semi

View previous topic View next topic Go down

15/4 pti footing avec Semi

Post by LudoH on Fri Apr 15, 2011 8:04 am

depart 11h45 INRIA pour une petite heure pepere

kkun?
avatar
LudoH
grimpeur graMEUH
grimpeur graMEUH

Posts : 2629
Join date : 2010-02-01
Age : 41
Location : souvent dans les bois
103km de D+ en 2016

http://pluksan-maitre.forumotion.com

Back to top Go down

Re: 15/4 pti footing avec Semi

Post by calimeuhro on Fri Apr 15, 2011 8:09 am

Peux pas Sad Semi est sur Sophia ????
Ah sinon Ludo tu sais ce que c est les catamorphismes et les anamorphismes
AU sec....
avatar
calimeuhro
grimpeur graMEUH
grimpeur graMEUH

Posts : 2530
Join date : 2010-03-16
1 fm de D+ depuis 2008

Back to top Go down

Re: 15/4 pti footing avec Semi

Post by LudoH on Fri Apr 15, 2011 8:16 am

calimeuhro wrote:Peux pas Sad Semi est sur Sophia ????
ce midi/cet aprem oui on dirait Smile

Ah sinon Ludo tu sais ce que c est les catamorphismes et les anamorphismes
AU sec....
non, mais je crois que la definition est claire:

In functional programming, a catamorphism is a generalization of the folds on lists known from functional programming to arbitrary algebraic data types that can be described as initial algebras.
je crois qu'il va falloir que je me (re)mette a la theorie des categories moi, j'ai du mal a comprendre! mais ca doit eter un morphisme pour sur ... tu crois que ca vient de cataclysme et de morphisme ???

l'anamorphisme est bien sur le dual Smile (ca aide hein!)
(ceci dit la def haskell d'un anamorphisme donnee sur wikipedia est ce que j ai trouve de plus instructif Smile )
avatar
LudoH
grimpeur graMEUH
grimpeur graMEUH

Posts : 2629
Join date : 2010-02-01
Age : 41
Location : souvent dans les bois
103km de D+ en 2016

http://pluksan-maitre.forumotion.com

Back to top Go down

Re: 15/4 pti footing avec Semi

Post by calimeuhro on Fri Apr 15, 2011 8:31 am

LudoH wrote:
calimeuhro wrote:Peux pas Sad Semi est sur Sophia ????
ce midi/cet aprem oui on dirait Smile
Certes ...

LudoH wrote:
calimeuhro wrote:
Ah sinon Ludo tu sais ce que c est les catamorphismes et les anamorphismes
AU sec....
non, mais je crois que la definition est claire:


In functional programming, a catamorphism is a generalization of the folds on lists known from functional programming to arbitrary algebraic data types that can be described as initial algebras.
je crois qu'il va falloir que je me (re)mette a la theorie des categories moi, j'ai du mal a comprendre! mais ca doit eter un morphisme pour sur ... tu crois que ca vient de cataclysme et de morphisme ???
Je ne sais pas si je savais je ne demanderais pas Sad

LudoH wrote:
l'anamorphisme est bien sur le dual Smile (ca aide hein!)
(ceci dit la def haskell d'un anamorphisme donnee sur wikipedia est ce que j ai trouve de plus instructif Smile )
Ca aide ... enfin le Haskell je ne le parle pas tres bien (euphemisme) et au final j ai du mal a suivre l exemple Sad
Mais bon apres de fil en aiguille je me retrouve dans les pages de Type Inference. Bouh je veux faire un article simple sur les paradigmes de programmation et je me retrouve dans des histoires tordues Sad
avatar
calimeuhro
grimpeur graMEUH
grimpeur graMEUH

Posts : 2530
Join date : 2010-03-16
1 fm de D+ depuis 2008

Back to top Go down

Re: 15/4 pti footing avec Semi

Post by LudoH on Fri Apr 15, 2011 8:37 am

calimeuhro wrote:
Ca aide ... enfin le Haskell je ne le parle pas tres bien (euphemisme) et au final j ai du mal a suivre l exemple Sad
Mais bon apres de fil en aiguille je me retrouve dans les pages de Type Inference. Bouh je veux faire un article simple sur les paradigmes de programmation et je me retrouve dans des histoires tordues Sad
bah c'est fold (cata) et unfold (ana): un truc qui produit une liste (ana) et un truc qui detruit (cata) une liste, bien sur tu peux appliquert ca a d autre choses come des arbres

length est un exemple simple d utilisation de fold Smile

sinon si les "paradigmes de programmation" etaient un truc simple je serais pas la Smile

fais gaffe, tu vas finir par mal tourner et lire du cousot et cousot si tu continues comme ca Wink

je crois que le bouquin de benjamin pierce sur le typage est une bonne reference (theorique mais accessible Smile ) mais je l ai jamais lu
avatar
LudoH
grimpeur graMEUH
grimpeur graMEUH

Posts : 2629
Join date : 2010-02-01
Age : 41
Location : souvent dans les bois
103km de D+ en 2016

http://pluksan-maitre.forumotion.com

Back to top Go down

Re: 15/4 pti footing avec Semi

Post by calimeuhro on Fri Apr 15, 2011 9:57 am

LudoH wrote:
bah c'est fold (cata) et unfold (ana): un truc qui produit une liste (ana) et un truc qui detruit (cata) une liste, bien sur tu peux appliquert ca a d autre choses come des arbres
c est une sorte de map/reduce ?

LudoH wrote:
length est un exemple simple d utilisation de fold Smile
Je vois l idee je crois
Tu vois tu as des operations comme collect/inject
genre

a = [1,2,3]

a.collect {item -> item*item} => [1,4,9]
a.inject(0) {item, collector -> collector+item} => 6

LudoH wrote:
sinon si les "paradigmes de programmation" etaient un truc simple je serais pas la Smile
Oui j'imagine, j'essaye juste d en donner une vue grossiere mais pour resumer je me sens oblige de plonger un peu dans qq details et le choc est violent Very Happy

LudoH wrote:
fais gaffe, tu vas finir par mal tourner et lire du cousot et cousot si tu continues comme ca Wink

je crois que le bouquin de benjamin pierce sur le typage est une bonne reference (theorique mais accessible Smile ) mais je l ai jamais lu
Y a pire, je veux bien tourner mal comme ca Smile
avatar
calimeuhro
grimpeur graMEUH
grimpeur graMEUH

Posts : 2530
Join date : 2010-03-16
1 fm de D+ depuis 2008

Back to top Go down

Re: 15/4 pti footing avec Semi

Post by LudoH on Fri Apr 15, 2011 1:06 pm

avatar
LudoH
grimpeur graMEUH
grimpeur graMEUH

Posts : 2629
Join date : 2010-02-01
Age : 41
Location : souvent dans les bois
103km de D+ en 2016

http://pluksan-maitre.forumotion.com

Back to top Go down

Re: 15/4 pti footing avec Semi

Post by Sponsored content


Sponsored content


Back to top Go down

View previous topic View next topic Back to top

- Similar topics

 
Permissions in this forum:
You cannot reply to topics in this forum