Definicja kombinatora Y w F # to let rec y f x = f (y f) x f oczekuje, że jako pierwszy argument będzie miała kontynuację rekurencyjnych podproblemów. Używając yf jako kontynuacji, widzimy, że f będzie stosowane do kolejnych wywołań w miarę rozwoju let y f x = f (y f) x = f (f (y f)) x = f (f...
Wszyscy wiemy i uwielbiamy, że wywołania funkcji są zwykle realizowane przy użyciu stosu; są ramki, adresy zwrotne, parametry, cała partia. Jednak stos jest szczegółem implementacji: konwencje wywoływania mogą robić różne rzeczy (np. Rejestry szybkiego połączenia x86 używają (niektóre) rejestrów,...
Interesująca dyskusja na temat rozróżnienia między wywołaniami zwrotnymi a kontynuacjami w SO spowodowała, że pytanie to się pojawiło. Z definicji kontynuacja jest abstrakcyjną reprezentacją logiki potrzebnej do ukończenia obliczeń. W większości języków manifestuje się to jako procedura...
Podsumowanie: Czy istnieją pewne sprawdzone wzorce najlepszych praktyk, które mogę stosować, aby mój kod był czytelny pomimo korzystania z kodu asynchronicznego i funkcji zwrotnych? Korzystam z biblioteki JavaScript, która wykonuje wiele czynności asynchronicznie i w dużej mierze opiera się na...
Kontynuacje są niezwykle przydatne w funkcjonalnych językach programowania (np. ContMonada w Haskell), ponieważ pozwalają na prosty i regularny zapis kodu w stylu rozkazującym. Są one również przydatne w niektórych starszych językach imperatywnych, ponieważ można ich użyć do implementacji...