15/4 pti footing avec Semi

depart 11h45 INRIA pour une petite heure pepere

kkun?

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

calimeuhro wrote:Peux pas Semi est sur Sophia ????

ce midi/cet aprem oui on dirait

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 (ca aide hein!)
(ceci dit la def haskell d'un anamorphisme donnee sur wikipedia est ce que j ai trouve de plus instructif )

LudoH wrote:

calimeuhro wrote:Peux pas Semi est sur Sophia ????

ce midi/cet aprem oui on dirait

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

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

Ca aide ... enfin le Haskell je ne le parle pas tres bien (euphemisme) et au final j ai du mal a suivre l exemple
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

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
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

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

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

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

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

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

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

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

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

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

Y a pire, je veux bien tourner mal comme ca