Recherche:

Je pense que tu te réponds tout seul. Le C n'a pas été construit sans base théorique. Déjà parce qu'il s'inspirait d'autres langages qui eux même avaient eu des bases théoriques. Je n'ai pas dit que...

Non la pratique c'est « Toute activité en général. Activité mettant en œuvre les principes d'un art ou d'une science. » (Dictionnaire Hachette)
Pratique ne veut pas dire matériel ou tangible.
Il y...

Je suis relativement en accord avec les autres points (en soulignant quand même que dans AUCUN domaine la théorie sans la pratique ne sert à quoi que ce soit y compris en math).

Par contre là......

Ok mais la pratique n'avance que peu ou pas sans aucune théorie.
L'idéal c'est un équilibre, pas un excès. Yin et yang quoi.
Et si j'ai mal compris, c'est peut être que tu t'es mal exprimé non ?...

Donc tous les théoriciens qui ont fait les fondements de l'informatique sont des crétins ? Church, Curry, Turing ? Les modèles de calcul ne sont pas théoriques selon toi ? Tu penses vraiment que le...

C'est amusant dit comme ça :mrgreen:
Que dire alors des gens qui ont appris et fait le lambda-calcul sans jamais avoir touché à la programmation ? Ce n'était pas accessible ? ;)

Je te tease un...

Non tu n'as pas besoin de connaître le lambda-calcul pour faire de la programmation fonctionnelle correctement. C'est une habitude très française de croire ça.

Attention cependant, si tu peux te...

Ah ? Tu connais mieux Python que moi. Peut être me trompes-je. J'irais voir. Si les fonctions capturent un environnement d'appel alors effectivement Python dispose de fermeture.

Mais je ne t'ai jamais dis ça !
J'ai dis que je n'ai pas compris ta phrase !

Vu ce que tu viens de rajouter je comprends mieux.

La fermeture n'a rien à voir avec l'évaluation paresseuse. Une fermeture est une fonction évaluée dans un environnement qui est capturé par la fonction lors de sa définition. C'est le principe du let...

Je ne suis pas convaincu vois-tu.
À mon avis, Lisp (CommonLisp/Scheme etc.) forme LE langage fonctionnel. C'est du moins l'impression que je vois dans les parutions. Beaucoup d'exemples et de...

Tu as certainement la capacité de faire un effort pour suivre le paradigme.
Pour simplifier l'histoire : tu dois programmer comme si tu faisais des maths et oublier les habitudes du C (et dérivé)....

Euh.. j'ai pas compris ta réponse. :aie:
Bon je résume... tu as dit: « tant que tu n'abordes pas les foncteurs, ça reste du lambda calcul typé » ... donc je me demande si on a besoin des foncteurs...

Il faut un foncteur pour utiliser des mutables ?

Je ne pense pas qu'il faille un fort bagage théorique.
Pas plus qu'il ne faille savoir comment fonctionne une machine de Turing la première fois que tu vois un programme en Pascal.

Attention, je...

Du millénaire même tu peux dire :mg:


Le livre proposé par Gorgonite est bien MAIS il a le désavantage de ne pas chercher à t'arracher des racines de la programmation impératives dès le début. Il...