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 à 00:05, par Bailly

    quand on interroge un moteur de recherche « lambda-calcul Y-combinator » les réponses sont pauvres ; en particulier les chapitres sur l’implémentation d’un Y-C dans des langages courants (python, JS, java) bifurquent souvent vers des sortes de « fix » auto-invocants tels que
    fix=(lambda f : (lambda x : ((f)( fix(f)))(x) )).
    Pouvez-vous m’indiquer une meilleure piste ?

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