https://wiki.goupill.fr/ 2026-04-18T23:14:33+00:00 https://wiki.goupill.fr/ https://wiki.goupill.fr/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2023-04-18T07:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.goupill.fr/doku.php?id=nsi:langages:ocaml:fonctions&rev=1681804404&do=diff Fonctions Évidemment, dans un langage fonctionnel, cette partie est très importante. On a assigner à f une fonction en utilisant le mot-clé fun. Cette fonction est comme une fonction mathématique, elle consiste en l'association d'un item à un autre.$x \mapsto f(x)$$x \mapsto f(f(x))$ text/html 2023-04-18T07:55:38+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.goupill.fr/doku.php?id=nsi:langages:ocaml:listes&rev=1681804538&do=diff Listes On dispose d'une structure de liste. Avec une fonction on peut accéder au premier élément d'une liste head et à la queue tail -- éléments suivants. Voici un exemple donnant la somme des éléments d'une liste. text/html 2022-03-22T21:46:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.goupill.fr/doku.php?id=nsi:langages:ocaml:start&rev=1647985577&do=diff OCaml Présentation Wikipedia OCaml est un langage essentiellement développé en France notamment par l'INRIA. C'est un langage fonctionnel. C'est un langage développé par des universitaires avec une approche très formelle. Néanmoins, c'est un langage utilisé dans l'industrie notamment quand il s'agit de prouver la validité d'un programme. text/html 2022-03-22T21:44:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.goupill.fr/doku.php?id=nsi:langages:ocaml:syntaxe&rev=1647985440&do=diff Syntaxe élémentaire de OCaml Commentaires Fin de commande Pour indiquer la fin d'une commande, on utilise ;; Expressions de base D'abord il faut distinguer les types int et float ainsi que leurs opérateurs. 3 est un int. 3. est le même nombre mais en version text/html 2022-03-22T21:33:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.goupill.fr/doku.php?id=nsi:langages:ocaml:types_algebriques&rev=1647984817&do=diff Types algébriques et enregistrements On peut définir des types adaptés à nos besoins. types produits Supposons que nous voulions définir un type correspondant aux coordonnées entières de points. Il nous faut un doublet d'entiers. On pourra définir :