Re: goto return cave

Une analogie qui m'est revenue, sur le style orienté expression, est celle des phrases à trous. Une fonction Ocaml (ou dans le style fonctionnel) c'est comme les phrases à trous. Dans la fonction foo cond = if cond then 2 else 3, c'est juste une expression if _ then 2 else 3 qui comporte un trou, trou auquel le paramètre formel donne un nom. Appeler la fonction consistant à dire quoi mettre dans le trou pour former une expression.

En français, on pourrait écrire « la première fonction Scala définie par martoni dans son journal ». Cette phrase désigne ("s'évalue") la fonction pof. On peut, ensuite, mettre un trou à la place de « première »; on a alors la phrase à trou « la ____ fonction Scala définie par martoni dans son journal ». Ou, si l'on nomme le trou : « la nième fonction Scala définie par martoni dans son journal ». Cette dernière phrase est une fonction qui prend un entier en paramètre (pour combler le trou) et retourne le nom d'une fonction :

• 1 -> pof
• 2 -> pif
• 3 -> pouet

C'est ça le style expression : on écrit des phrases à trous au lieu d'un suite d'instructions données à la machine (c'est le rôle du compilateur de passer d'un style à l'autre). Le return (des langages impératifs) étant vu, de base, comme une instruction pour la machine.

Il va de soi que la phrase à trou « Tu bluffes ___ ! » n'accepte que martoni en paramètre. :-P

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.