La définition d'un combinateur Y en F # est let rec y f x = f (y f) x f s'attend à avoir comme premier argument une continuation pour les sous-problèmes récursifs. En utilisant le yf comme suite, nous voyons que f sera appliqué aux appels successifs au fur et à mesure que nous développerons let y f...
Nous savons et aimons tous que les appels de fonction sont généralement implémentés à l'aide de la pile; il y a des trames, des adresses de retour, des paramètres, le tout. Cependant, la pile est un détail d'implémentation: les conventions d'appel peuvent faire différentes choses (c.-à-d. Que...
Une discussion intéressante sur la distinction entre rappels et continuations sur SO a amené cette question. Par définition, une continuation est une représentation abstraite de la logique nécessaire pour effectuer un calcul. Dans la plupart des langues, cela se manifeste comme une procédure à un...
Résumé: Existe-t-il des modèles de bonnes pratiques bien établis que je peux suivre pour garder mon code lisible malgré l'utilisation de code asynchrone et de rappels? J'utilise une bibliothèque JavaScript qui fait beaucoup de choses de manière asynchrone et s'appuie fortement sur les rappels. Il...
Les continuations sont extrêmement utiles dans les langages de programmation fonctionnels (par exemple la Contmonade dans Haskell) car elles permettent une notation simple et régulière pour le code de style impératif. Ils sont également utiles dans certains anciens langages impératifs car ils...