28 août 2009

17 messages - Retourner à l'article

Voir tous les messages - Retourner à l'article

  • le web et les combinateurs de point-fixe.

    le 6 novembre 2018 à 16:08, par Pierre Lescanne

    Tout d’abord vous trouverez une présentation du combinateur de point-fixe en français dans le livre de Jean-Louis Krivine « Lambda-calcul, types et modèles ». Une traduction en anglais existe en ligne. En particulier, il y a un lien sur la page de Jean-Louis Krivine.

    je crois comprendre que vous voulez aussi une implantation. Les langages que vous citez sont typés. Or le combinateur de point-fixe ne peut pas être typé, donc si on veut le coder, il faut ruser.

    Ce que je peux suggérer, c’est d’implanter le lambda-calcul. Une petite variante peut être implantée simplement. Puis dans cette implantation, vous pouvez coder le combinateur Y.

    Ai-je répondu à votre attente ?

    Répondre à ce message
Pour participer à la discussion merci de vous identifier : Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.