On Fri, Aug 01, 2003 at 01:48:10PM +0200, Nicolas Rueff wrote: > Le ven 01/08/2003 à 11:00, Lionel Elie Mamane a écrit : >> On Fri, Aug 01, 2003 at 09:26:03AM +0200, Nicolas Rueff wrote:
>>> le C n'est *pas* fait pour ça: c'est un langage fonctionnel qui n'à >>> rien à faire avec du dev évenementiel. >> Par les moustaches de Plegzygladz! Le C, un langage fonctionnel? >> Church doit se retourner dans sa tombe, les oreilles McCarthy >> tinter et le ciel de l'INRIA Rocquencourt s'assombrir et tonner >> pour marquer sa rage. >> Essayes un peu un *vrai* langage fonctionnel (Scheme, Caml, Haskell, >> ...) et tu me diras si tu penses toujours que C est fonctionnel. > Mmm, c'est vrai que Caml est nettement plus fonctionnel (parait même > qu'il est utilisé pour des démos de théorème de math, qqun peut > confirmer ?) Bon. Caml est un dialecte de ML. ML est *né* comme langage de preuve pour HOL (ou le grand-père de HOL? Je ne suis plus sûr.). > Ceci dit, dans quel famille de langage classes-tu le C ? "assembleur portable"? Plus sérieusement, c'est un langage impératif. Et il a ce petit "hack" qui fait que l'on a accès à l'adresse en mémoire d'une procédure et que l'on peut appeler une procédure par adresse. -- Lionel