La théorie des catégories pour le programmeur

Ah ok, je pensais que pour ce genre de questions on ouvrait un fil.. mais c'est vrai que ça revient au même .

(pour la vulgarisation je ne parlais pas de la préface mais du reste. Perso j'ai lu la préface et je n'y ai rien appris sur la théorie des catégories donc j'ai envie de répondre à ta question "oui une traduction m’intéresserait j'ai envie d'en savoir plus")

Je me suis mal exprimé pour la vulgarisation. Ce que je voulais dire, c'est que si tu maîtrise le sujet dont il parles, tu peux prendre tes distances, discuter des points les plus importants, ré organiser le tutoriel à ta façon, parler des différences avec d'autres concepts de programmation, situer sa théorie dans l'histoire de l'informatique, délimiter son propos, faire une critique, proposer d'autres exemples plus faciles à comprendre que ce qu'il propose, voire même se concentrer juste sur l'essentiel etc…

Si tu ne maitrise pas (encore) le sujet dont il parle, au lieu de faire un tutoriel tu pourrais juste faire un article d'introduction et y inviter les gens intéressés à en parler sur un fil du forum, voir si vous pouvez essayer de progresser tous ensemble.

Parfois, il est plus intéressant de reprendre telle quelle une ressource pédagogique de qualité que de s’efforcer de faire différent.

C'est possible ; j'invite seulement le rédacteur à y réfléchir, je ne sais pas à quel point il maîtrise le sujet

Coucou Saroupille,

Est-ce qu'il s'agit du tuto de logique tu as mentionné dans le topic de PA ? Que devient la rédaction de celui-ci ?

Coucou Saroupille,

Est-ce qu'il s'agit du tuto de logique tu as mentionné dans le topic de PA ?

Non bien sûr

C'est un projet qui m'intéresse toujours, mais il faut que je réfléchisse un peu. Peut-être qu'il serait plus intéressant de faire la traduction à plusieurs ?

Cela représenterait quelle quantité de travail ?

L'intro m'a demandé je crois bien environ 1h. Par contre, il faut prévoir le double en relecture je pense. De plus, le premier chapitre est clairement beaucoup plus court que les autres.

Ça fait vraiment un gros travail de traduction. Je ne sais pas si c'est si rentable, peut-être qu'il serait plus facile d'écrire directement un tuto ?

Ou de faire une traduction qui n’est pas fidèle et qui pourrait s’éloigner (beaucoup ?) de l’origginal. En gros s’appuyer sur le document pour faire un tutoriel.

Mon problème c'est qu'il n'y a aucun copyright, et je ne vois pas comment contacter la personne sans que ce soit public. Je n'ai trouvé aucune adresse mail.

Oui, quand j'avais voulu le contacter je n'ai pas trouvé non plus. Tu pourrais essayer de voir si tu peux lui envoyer un DM sur Twitter. Tu peux aussi tenter via Quora en espérant qu'il ait laissé la possibilité de le contacter comme ça. Comme j'imagine que ça ne va pas marcher, il faudrait le contacter en public pour lui demander de te communiquer son mail.

On en avait vaguement discuté sur IRC, mais je ne vois pas ce qui justifie de traduire ce bouquin. Je pense qu'une adaptation libre d'un mélange de Category Theory for Computing Science et de Basic Category Theory for Computer Scientists avec peut-être quelques exemples empruntés à Milewski serait nettement une bien meilleure idée.