Je suis d'accord avec ta remarque sur OCaml. Je réagissais principalement sur « LISP n'a pas vraiment l'air si lié au lambda-calcul ». La remarque sur OCaml était là principalement pour dire que si on se passe du sucre syntaxique, mis à part la paire de parenthèses la plus extérieure, OCaml ressemble quand même fortement à un langage qui « colle » aussi pas mal au lambda-calcul, et donc à une représentation d'un programme en arbre (ce qui est logique : tout langage de programmation finira par être converti sous une forme d'AST ou une autre...)
[^] # Re: C'est bien dommage
Posté par lasher . En réponse au journal C++17 est sur les rails. Évalué à 2.
Je suis d'accord avec ta remarque sur OCaml. Je réagissais principalement sur « LISP n'a pas vraiment l'air si lié au lambda-calcul ». La remarque sur OCaml était là principalement pour dire que si on se passe du sucre syntaxique, mis à part la paire de parenthèses la plus extérieure, OCaml ressemble quand même fortement à un langage qui « colle » aussi pas mal au lambda-calcul, et donc à une représentation d'un programme en arbre (ce qui est logique : tout langage de programmation finira par être converti sous une forme d'AST ou une autre...)