On Mon, Aug 04, 2003 at 11:21:30AM +0200, Sven Luther wrote: > Les langages fonctionnels (lisp, scheme, sml, caml, ocaml, haskell, > erlang, clean, ...) sont base sur la theorie du lambda calcul, qui a ete > develope par Alonzo Church vers la fin des annees 30 afin de modeliser > les fonctions mathematiques (vous savez, les f : N -> N x|-> 3x+1). Plus > tard, on s'est rendu compte que cette theorie logique s'appliquait > parfaitement a l'informatique, et qu'il etait possible de programmer > tout ce qui etait programmable avec cette theorie somme toute assez > simple : on a des variables, l'abstraction fonctionnelle (equivalant a > dire f(x) = 3x+1) et l'application (f(5) qui represente 3x5+1 soit 16). > On a bien sur rajouter d'autres theories par la suite, comme le lambda > calcul type, langage de module et foncteurs, extension oriente objet, > programmation par continuation, monades, ...).
Il n'y a rien dans cette description qui permette de dire que C n'est pas un langage fonctionnel... � part BASIC (et encore) tous les langages ont des fonctions qui permettent de faire f(x)=3x+1. > > > Ceci dit, dans quel famille de langage classes-tu le C ? > > > > Proc�dural. Le C est pratiquement �quivalent � Pascal. > > Ou qu'au C++, ou qu'a l'assembleur, au basic, ... Le BASIC que je connais n'avais pas de fonctions, et reste nettement en dessous de C ou Pascal... Mais apparement 'BASIC' ne veut pas dire grand chose :-) Dans quelle cat�gorie places-tu Forth? /Y -- This signature left empty.
