continuation-passing

5calore

2risposta

memoize continuation passing function function

Mi chiedo se c'è un modo per implementare un generico "memoize" funzionale (come in una funzione con una funzione come input e una funzione come output, come decoratori di python) in grado di gestire

7calore

2risposta

A che serve l'istanza monad di Cont?

Sto giocando con CPS e Control.Monad.Cont e mi chiedo cosa guadagniamo notando la struttura monadica. Per il codice come questo: sumOfSquares'cps :: Cont r Int -> Cont r Int -> Cont r Int sumOfSquare

12calore

3risposta

C'è un modo per concatenare funzioni come conCString?

C'è un modo per concatenare funzioni come withCString? Con ciò intendo qualsiasi funzione che assomigli a qualcosa come f :: Foo -> (CFoo -> IO a) -> IO a. Ad esempio, consente di dire v'è una funzion

5calore

1risposta

Riscrivente con continuazioni

Ho un codice che valuta i programmi primitivi. Il programma è una lista di istruzioni (espressione, blocco, dichiarazione di ritorno). Il risultato della valutazione è l'espressione valutata per ultim

10calore

1risposta

Continuazioni e per comprensioni - qual è l'incompatibilità?

Sono un neofita di Scala e cerco di capovolgere le continuazioni Sto provando a riprodurre l'istruzione C# yield return. seguito this post, ho scritto il seguente codice: package com.company.scalatest

7calore

2risposta

Converti in CPS (Continuous Passing Style)

Come si convertono queste procedure in Schema in modulo CPS? (lambda (x y) ((x x) y)) (lambda (x) (lambda (f) (f (lambda (y) (((x x) f) y)))) ((lambda (x) (x x) (lambda (x) (

6calore

4risposta

Definire il combinatore di punti fissi in Continuation Passing Style

I fix-point combinators sono strumenti molto utili per introdurre la ricorsione. Lo Continuation-Passing style è uno stile di lambda calcolo in cui le funzioni non ritornano mai. Invece passi il resto