continuation-passing

12Ciepło

1Odpowiedz

dlaczego kontynuacje unikają stackoverflow?

Próbowałem zrozumieć kontynuacje/CPS i na podstawie tego, co mogę zebrać, buduję opóźnione obliczenia, kiedy dojdziemy do końca listy, wywołujemy ostateczne obliczenia. Czego nie rozumiem, to dlaczego

5Ciepło

1Odpowiedz

Przepisywanie kodu z kontynuacjami

Mam trochę kodu, który ocenia prymitywne programy. Program jest listą instrukcji (wyrażenie, blok, instrukcja return). Wynik oceny jest ostatnim ocenianym wyrażeniem. Również ewaluator powinien odpowi

10Ciepło

1Odpowiedz

Kontynuacje i do zrozumienia - jaka jest niezgodność?

Jestem nowy w Scala i próbuję objąć głowę kontynuacjami Próbuję odtworzyć oświadczenie C# yield return. Po this post, napisałem poniższy kod: package com.company.scalatest import scala.util.continua

15Ciepło

1Odpowiedz

Czy transformator monad kontynuacji może mieć alternatywną instancję z niektórymi i wieloma?

Możemy zdefiniować transformator kontynuacja monady jako data Cont r m a = Cont {run :: (a -> m r) -> m r} Możemy dać Cont r m Alternatywnych instancji jeśli m jest członkiem Alternative poprzez emp

7Ciepło

2Odpowiedz

Konwertuj na CPS (kontynuacja stylu przekazywania)

Jak mogę przekonwertować te procedury w schemacie na formularz CPS? (lambda (x y) ((x x) y)) (lambda (x) (lambda (f) (f (lambda (y) (((x x) f) y)))) ((lambda (x) (x x) (lambd

5Ciepło

1Odpowiedz

Czy można wdrożyć coroutines przy użyciu tylko prymitywów LISP?

Po pierwsze, jestem nowicjuszem LISP. To, co chcę uzyskać, to wspólna funkcja mikro-gwintowania. A to można uzyskać dzięki coroutine. Jak wiem, Scheme obsługuje coroutines za pośrednictwem kontynuacji