Recherche:

J'aurais plutot vu :
"La programmation fonctionnelle a-t-elle sa place hors des laboratoires ?"



nb: les autres aussi peuvent proposer ;)

ce n'est pas du tout la place pour ce débat... il va donc falloir ne pas le continuer sur ce thread ;)

Il faut toutefois poser un bémol à ce que tu affirmes (qui comme toujours est un peu excessif, car trop passionné ;)). Une utilisation correcte de la programmation fonctionnelle dans un projet...

effectivement, je l'ai oublié celui-ci :oops:



ps: on arrete avec le C... on s'éloigne du débat initial ;)

pas d'accord la manipulation de pointeurs de fonctions est immédiat en C ;)


en revanche, selon moi, ce qui fait que C n'est pas un langage fonctionnel est l'absence d'évaluation partielle des...

en ce qui concerne le débat sur le programmation paresseuse, selon moi elle vient surtout de la différence dans les méthodes d'appels des fonctions (appel par valeur "classique" vs appel par nom de...

pas du tout... tu parles d'une autre optimisation ;)

celle dont je parle va éliminer tous les calculs qui ne seront pas utilisés... ce qui aura aussi pour effet de supprimer le code mort :)

ben ce n'est plus une spécificité des langages fonctionnelles... il existe une optimisation relativement simple à effectuer (une fois qu'on est sous forme SSA), qui permet de ne garder que le code...

et pourquoi ?
C est un langage qui demande juste de faire attention à ce qu'on écrit car on doit presque tout gérer à la main... chose parfaitement inconcevable pour nombre de "purs programmeurs...

pas le temps de tout lire en détails... mais en gros, si l'on utilise cela, peut-on encore prendre une instance d'une classe dérivée et la considérer comme étant de cette classe ?





comme...

ben non, c'est du typage fort... on n'a qu'à définir un type pour "fusionner" ses deux types, et le tour est joué
c'est donc faisable, mais plus long :P




c'est une conséquence de leur...

tout dépend ce que l'on attend d'un système de types... parce que dans le meme style, je peux préférer celui de Coq





cette analyse statique pose aussi de sérieuses limitations au modèle...

ce qui supprime le cas de 80% des universitaires... :roll:

mais si on se met à utiliser des fonctionnalités que personne ne souhaitent voir dans la communauté (et elle est assez restreinte avec ce type de langage), on risque fort de faire quelque chose que...

+1, mais les détracteurs peuvent se tourner vers menhir ;)



perso, j'aime bien les listes en compréhension... mais ce n'est pas pour autant que je les utiliserais à tour de bras :P
si l'on...

au passage, vous oubliez Scala... :roll:
http://www.scala-lang.org/index.html

mais perso, je dirais que comme mon ami InOCamlWeTrust : Ocaml ou Haskell

si tu veux te mordre les doigts avec les...

ben c'est une extension du lambda-calcul... pas le lambda-calcul :P

mais là, on va troller... ;)

pas tout à fait d'accord non plus...
mémoire bornée ne signifie pas que chaque variable doit pouvoir prendre une quantitée infinie de mémoire, mais que le programme est censé pouvoir utiliser une...