continuations

5calore

1risposta

La continuazione dell'attività non era pianificata sul thread del pool di thread

Stavo leggendo su SynchronizationContext e il suo utilizzo con i metodi async/await (link). Da quanto ho capito, in un'applicazione Console in cui SynchronizationContext è nullo, la continuazione di u

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

9calore

1risposta

Come convertire in stile CPS GCD calcolo di utilizzare la continuazione Monade

Consideriamo la seguente implementazione della monade Continuazione, per i calcoli in stile CPS rendimento e numero intero: module Cont : sig type 'a t = ('a -> int) -> int val return : 'a -

5calore

2risposta

Come posso fare in modo che questa funzione F # non causi uno stack overflow

Ho scritto una funzione interessante in F # che può attraversare e mappare qualsiasi struttura dati (proprio come la funzione di tutto il mondo disponibile in Haskell's Scrap Your Boilerplate). Sfortu

20calore

3risposta

Corrispondente Curry-Howard della doppia negazione ((a-> r) -> r) o ((a-> ⊥) -> ⊥)?

Quale è il corrispondente Curry-Howard della doppia negazione di a; (a -> r) -> r o (a -> ⊥) -> ⊥ o entrambi? Entrambi i tipi possono essere codificati in Haskell come segue, dove ⊥ è codificato come

6calore

2risposta

traduzione Scheme chiamata/cc a Haskell callCC

Consideriamo rottura di un altrimenti non fatale volte: (call/cc (lambda (folded) (stream-fold (lambda (acc v) (if (< v 5) (cons v acc) (folded acc))) '() (in-nat

7calore

1risposta

Com'è possibile implementare call/cc, ma la logica classica (intuizionistica + chiamata/cc) non è costruttiva?

La logica intuizionista, essendo costruttiva, è la base per i sistemi di tipi nella programmazione funzionale. La logica classica non è costruttiva, in particolare la legge del centro escluso A ∨ ¬ A

6calore

1risposta

Il passaggio a PyFrameObjects in entrata e in uscita può essere una buona implementazione delle continuazioni?

Sono interessato a continuations, in particolare nella C-API di Python. Da quello che ho capito, la natura delle continuazioni richiede convenzioni di chiamata a basso livello non astratte per manipol

8calore

2risposta

Quali sono i framework web basati sulla continuazione Haskell?

Occasionalmente incontro la nozione di framework web basati su continuazione per Haskell. Cosa significa esattamente? Le continuazioni, così come le conosco, sono glorificate per le strutture di contr

6calore

3risposta

Elaborazione di un albero in F # usando le continuazioni

Sto cercando di capire come funzionano le continuazioni, ho questo esempio che ho trovato nel libro, Programmazione funzionale del mondo reale di Tomas Petricek con Jon Skeet. Ma questo in realtà ha o