continuations

1Hitze

1Antwort

Ist setcontext-Funktionen in C eine Fortsetzung?

Wie diese zwei (setcontext, Continuation) Konzepte zueinander in Beziehung stehen? Erstellen wir eine Instanz einer Fortsetzung, wenn Sie eine setcontext Technik verwenden?

12Hitze

3Antwort

Gibt es eine Möglichkeit, Funktionen wie mitCString zu verketten?

Gibt es eine Möglichkeit, Funktionen wie withCString zu verketten? Damit meine ich jede Funktion, die etwa wie f :: Foo -> (CFoo -> IO a) -> IO a aussieht. Zum Beispiel können, sagen, dass es eine Fun

0Hitze

1Antwort

shared_ptr vs. neuer Operator: welcher zu verwenden

In der Funktion unten habe ich http_client von cpprestsdk (https://github.com/Microsoft/cpprestsdk) verwendet, um HTTP-Anfragen an eine Netzwerkkamera zu machen. Die folgende Funktion ist wahrscheinli

9Hitze

1Antwort

Wie CPS-Stil gcd Berechnung konvertieren die Fortsetzung Monad

Lassen Sie uns die folgende Umsetzung der Fortsetzung Monade betrachten zu verwenden, für CPS-Stil Berechnungen ergeben und integer: module Cont : sig type 'a t = ('a -> int) -> int val retu

5Hitze

2Antwort

Wie kann ich diese F # -Funktion nicht verursachen einen Stapelüberlauf verursachen

Ich habe eine interessante Funktion in F # geschrieben, die jede Datenstruktur durchlaufen und zuordnen kann (ähnlich wie die überall in Haskell Scrap Your Boilerplate verfügbaren Funktion). Leider ve

5Hitze

2Antwort

async/erwarten vs. handgemachte Fortsetzungen: wird ExecuteSynchronously cleverly verwendet?

Ich schrieb vor kurzem den folgenden Code: Task<T> ExecAsync<T>(string connectionString, SqlCommand cmd, Func<SqlCommand, T> resultBuilder, CancellationToken cancellationToken = default(CancellationTo

20Hitze

3Antwort

Ist Curry-Howard Korrespondent der doppelten Negation ((a-> r) -> r) oder ((a-> ∞) -> ⊥)?

Welches ist der Curry-Howard-Korrespondent der doppelten Verneinung von a; (a -> r) -> r oder (a -> ⊥) -> ⊥, oder beides? Beide Typen können in Haskell wie folgt codiert werden, wobei ⊥ als forall b.

9Hitze

2Antwort

Update Textfeld auf Fortsetzung mit Winforms und C#

C# noob hier, aus Erfahrungen in anderen Sprachen. (Am bemerkenswertesten Java). Ich sehe this question Code. Es ist ein Standard-WinForms C# -Projekt in VS 2013: eine Taste löschen und ein Textfeld a

0Hitze

1Antwort

Cooperative Threading, Keine Zuordnung

Vorwort Ich liebe es, meine eigenen zu rollen, dies ist eine Übung für Lernzwecke, aber ich möchte die Informationen aus dieser Übung schließlich nehmen und einige Makros implementieren, die die Verha

10Hitze

1Antwort

Funktionssignatur zum Zurückgeben eines rekursiven Abschlusses

Ich versuche, eine Funktion zu implementieren, die einen rekursiven Abschluss zurückgibt, obwohl ich nicht sicher bin, wie das in der Funktionssignatur auszudrücken ist. Hier ist ein Beispielcode eine