Mevcut devamı ile çağrı - Call-with-current-continuation

İçinde bilgisayar Programlama dil ile Şema, altyordam veya işlev devam eden-çağrı, kısaltılmış çağrı / ccolarak kullanılır kontrol akışı Şebeke. Diğer birçok programlama dili tarafından benimsenmiştir.

Bir işlev almak f tek argüman olarak (çağrı / cc f) bir ifade içinde geçerli olana uygulanır devam İfadenin.Örneğin ((çağrı / cc f) e2) uygulamaya eşdeğerdir f ifadenin mevcut devamına. Mevcut devamı değiştirilerek verilir (çağrı / cc f) değişkenle c bir lambda soyutlamasına bağlı, bu nedenle mevcut devamı (lambda (c) (c e2)). Fonksiyonu uygulamak f ona nihai sonucu verir (f (lambda (c) (c e2))).

Tamamlayıcı bir örnek olarak, bir ifadede (e1 (çağrı / cc f)), alt ifadenin devamı (çağrı / cc f) dır-dir (lambda (c) (e1 c)), dolayısıyla tüm ifade eşdeğerdir (f (lambda (c) (e1 c)))Başka bir deyişle, programın mevcut kontrol bağlamının veya kontrol durumunun bir "anlık görüntüsünü" bir nesne olarak alır ve uygular. f ona. Devam nesnesi bir birinci sınıf değer ve bir fonksiyon olarak temsil edilir, işlev uygulaması tek işlem olarak. Bir argümana bir devam nesnesi uygulandığında, mevcut devamlılık ortadan kaldırılır ve uygulanan devamlılık yerine geri yüklenir, böylece program akışı devamın yakalandığı noktada devam eder ve devam argümanı sonra çağrı / cc çağrısının "dönüş değeri" olur. Çağrı / cc ile yaratılan devamlılıklar birden fazla ve hatta çağrı / cc uygulamasının dinamik kapsamı dışından çağrılabilir.

Bilgisayar biliminde, bu tür örtük program durumunu bir nesne olarak görünür kılmak şeyleşme. (Şema devam ettirmeleri veya işlevleri uygulama arasında sözdizimsel olarak ayırt etmez.)

Call / cc ile, birkaç satır kod aracılığıyla diğer dillerden çeşitli karmaşık kontrol operatörleri uygulanabilir, örn. McCarthy 's amb Şebeke için kesin olmayan seçim, Prolog stil geri izleme, Simula 67-tarz Coroutines ve bunların genellemeleri, Simge stil jeneratörler veya motorlar ve İş Parçacığı ya da belirsiz bile DAN GELİYORUM.

Örnekler

Bir sonraki örnekte gösterildiği gibi, call / cc, işlevin işlevini taklit etmek için kullanılabilir. dönüş ifadesi -dan bilinen C -tip dillerinde eksik olan Şema:

(tanımlamak (f dönüş)  (dönüş 2)  3)(Görüntüle (f (lambda (x) x))) ; görüntüler 3(Görüntüle (devam eden-çağrı f)) ; ekranlar 2

Aranıyor f Normal bir işlev bağımsız değişkeni ile önce bu işlevi 2 değerine uygular, sonra 3 döndürür. Ancak, f call / cc'ye (örneğin son satırında olduğu gibi) geçirilir, parametreyi (devamı) 2'ye uygular, programın yürütülmesini call / cc çağrıldığı noktaya atlamaya zorlar ve call / cc'nin dönmesine neden olur değer 2. Bu, daha sonra görüntüleme işlevi tarafından yazdırılır.

Sonraki örnekte, call / cc iki kez kullanılır: birincisi, ilk örnekteki gibi bir "dönüş" devamı oluşturmak için ve bir kez de bir öğe listesi aracılığıyla bir yinelemeyi askıya almak için:

;; [LISTOF X] -> (-> X u 'sondan-düştün)(tanımlamak (her seferinde bir öğe oluştur lst)  ;; Her iki dahili fonksiyon da lst üzerinden kapanışlardır.  ;; Bir listedeki geçerli öğeyi geçen dahili değişken / İşlev  ;; dönüş argümanına (bir devamıdır) veya bir liste sonu işaretçisi geçirir   ;; daha fazla öğe kalmazsa. Her adımda işlev adı   ;; işlev gövdesine geri dönen bir sürekliliğe geri dönme,  ;; dönüş ise, arayanın belirttiği sürekliliğe geri döner.  (tanımlamak (denetim durumu dönüş)    (her biri için      (lambda (element)               (Ayarlamak! dönüş (devam eden-çağrı                              (lambda (özgeçmiş-buradan)                                ;; Mevcut devamı yakala                               (Ayarlamak! denetim durumu özgeçmiş-buradan)                               (dönüş element))))) ;; (dönüş öğesi) bir sonraki dönüş olarak değerlendirilir     lst)    (dönüş 'sonun-düştün))    ;; (-> X u 'sen-sonunda-düştün)  ;; Bu, her seferinde bir listeden bir öğe üreten asıl oluşturucudur.  (tanımlamak (jeneratör)    (devam eden-çağrı denetim durumu))  ;; Jeneratörü iade edin   jeneratör)(tanımlamak basamak oluştur  (her seferinde bir öğe oluştur '(0 1 2)))(basamak oluştur) ;; 0(basamak oluştur) ;; 1(basamak oluştur) ;; 2(basamak oluştur) ;; sen-sonunda-düştün

Döngünün listeden başka bir öğeyi işlemek üzere olduğu her seferinde, işlev mevcut devamı alır ve onu 'kontrol durumu' değişkenine atar. Bu değişken başlangıçta kapatma bu, listenin tüm öğelerini yineler. Hesaplama ilerledikçe, verilen listenin bir son eki aracılığıyla yinelenen bir kapanış haline gelir. Doğrusal bir koleksiyon için "call / cc" kullanımı gereksizdir, örneğin [LISTOF X]kod genelleşir hiç geçilebilen koleksiyon.

Geçerli-devamla-çağrı, diğer karmaşık ilkelleri de ifade edebilir. Örneğin, sonraki örnek, sürekliliği kullanarak işbirliğine dayalı çoklu görev gerçekleştirir:

;; Mevcut devamla çağrı kullanarak işbirliğine dayalı çoklu görev;; 25 satırlık şema;; Çalışmayı bekleyen iş parçacığı listesi. Bu birinin listesi;; argüman geri dönmeyen işlevler (çoğunlukla sürdürmeler);; Devam etme, tıpkı (exit) gibi, geri dönmeyen bir işlevdir,;; onun adı ne olursa olsun kontrolü asla bırakmaz.(tanımlamak hazır liste '());; Geri dönmeyen bir işlev. Başka bir konu varsa;; çalıştırılmayı bekliyor, varsa bir sonraki iş parçacığının çalışmasına neden olur;; çalıştırmak için herhangi bir kalır, aksi takdirde orijinal çıkışı çağırır;; tüm ortamdan çıkan.(tanımlamak çıkış  ;; Geçersiz kıldığımız orijinal çıkış.  (İzin Vermek ((çıkış çıkış))    ;; Geçersiz kılan işlev.    (lambda ()      (Eğer (değil (boş? hazır liste))	  ;; Çalıştırılmayı bekleyen başka bir iş parçacığı var.	  ;; Biz de çalıştırıyoruz.          (İzin Vermek ((devam (araba hazır liste)))            (Ayarlamak! hazır liste (cdr hazır liste))	    ;; Hazır liste sadece geri dönmediğinden	    ;; işlevler, bu geri dönmeyecek.            (devam #f))	  ;; Kaçacak bir şey kalmadı.	  ;; Orijinal (çıkış) geri dönmeyen bir işlevdir,	  ;; yani bu, geri dönüşü olmayan bir işlevdir.          (çıkış)))));; Verilen bir tek argüman işlevi alır;; tartışır ve kapatır. Çatallı işlev yeni;; işlev çıkarsa / çıktığında thread çıkacaktır.(tanımlamak (çatal fn arg)  (Ayarlamak! hazır liste        (eklemek hazır liste		;; Bu işlev, 		;; hazır liste iade edilmez,		;; çıkış geri dönmediğinden.		(liste		 (lambda (x)		   (fn arg)		   (çıkış))))));; Çalıştırılmayı bekleyen bir sonraki iş parçacığı için kontrolü bırakır.;; Sonunda geri dönecek olmasına rağmen, kontrolü bırakıyor;; ve sadece devamı çağrıldığında onu geri kazanacaktır.(tanımlamak (Yol ver)  (devam eden-çağrı   ;; BU getiri çağrısını temsil eden devamı yakalayın   (lambda (devam)     ;; Hazır listesine yapıştırın     (Ayarlamak! hazır liste           (eklemek hazır liste                   (liste devam)))     ;; Bir sonraki iş parçacığını alın ve çalıştırmaya başlayın.     (İzin Vermek ((devam (araba hazır liste)))       (Ayarlamak! hazır liste (cdr hazır liste))       ;; Çalıştırın.       (devam #f)))))

1999'da David Madore (mucidi) Unlambda programlama dili), callcc etkin Unlambda'da, Unlambda'da çağrı / cc olmadan 600 karakterden fazla bir terimin aynı etkisine sahip (tüm tam sayıları tek biçimde yazın) 12 karakterli bir terim buldu.[1] Bu terimi Scheme'ye dönüştürürken yin-yang bulmacası olarak bilinen bir şema programı elde etti. O zaman call / cc'yi tartışırken göstermek gelenekseldi:[2]

(İzin Vermek* ((yin         ((lambda (cc) (Görüntüle #\@) cc) (devam eden-çağrı (lambda (c) c))))       (yang         ((lambda (cc) (Görüntüle #\*) cc) (devam eden-çağrı (lambda (c) c)))))    (yin yang))

Bulmacanın bir örneği: Parantezler arasındaki her ifade, hemen önceki yin ve yang durumlarıdır. (yin Yang); Sayı, 1. devamın mı yoksa 2.'nin mi atlanacağı anlamına gelir. Sayıdan sonraki ifade bağlamı temsil eder.

;@*[(yin 1 ()) (yang 2 (yin 1 ()))];@*[(yin 2 (yin 1 ()))(yang 2 (yin 2 (yin 1 ())))];*[(yin 1 ())(yang 2 (yin 2 (yin 1 ())))];@*[(yin 2 (yin 2 (yin 1 ())))(yang 2 (yin 2 (yin 2 (yin 1 ()))))];*[(yin 2 (yin 1 ()))(yang 2 (yin 2 (yin 2 (yin 1 ()))))];*[(yin 1 ())(yang 2 (yin 2 (yin 2 (yin 1 ()))))];@*[(yin 2 (yin 2 (yin 2 (yin 1 ()))))(yang 2 (yin 2 (yin 2 (yin 2 (yin 1 ())))))];...;...

Eleştiri

Oleg Kiselyov, bir sınırlandırılmış devam için uygulama OCaml ve tasarımcısı uygulama programlama Arayüzü (API), kontrol operatörlerini uygulamak için sınırlandırılmış yığın manipülasyonu için, sınırlandırılmış devamlılıklar call / cc'nin işlediği full-stack süreklilikleri yerine: "Call / cc'yi diğer tüm kontrol olanaklarının uygulanması gereken bir çekirdek kontrol özelliği olarak sunmak kötü bir fikirdir. Performans, bellek ve kaynak sızıntıları, uygulama kolaylığı , kullanım kolaylığı, akıl yürütme kolaylığı, hepsi call / cc'ye karşı çıkıyor. "[3]

Yapıcı olmayan mantıkla ilişki

Curry-Howard yazışmaları ispatlar ve programlar arasında ilgili çağrı / cc -e Peirce yasası genişleyen sezgisel mantık yapıcı olmayan, klasik mantık: ((α → β) → α) → α. Burada, ((α → β) → α) fonksiyonun türüdür f, ya doğrudan α türünde bir değer döndürebilir ya da türün devamına bir argüman uygulayabilir (α → β). Devam ettirme uygulandığında mevcut içerik silindiğinden, β türü hiçbir zaman kullanılmaz ve boş tür olan ⊥ olarak alınabilir.

Prensibi çifte olumsuzlama eliminasyonu ((α → ⊥) → ⊥) → α, argümanını bekleyen bir call-cc varyantı ile karşılaştırılabilir f Normalde bir değer döndürmeden mevcut devamlılığı her zaman değerlendirmek. Klasik mantığın sezgisel mantığa gömülmesi, devam etme tarzı tercüme.[4]

Çağrı / cc uygulayan diller

Ayrıca bakınız

Referanslar

  1. ^ David Madore, "call / cc mind-boggler"
  2. ^ Yin Wang, "Yin-Yang Bulmacasını Anlamak"
  3. ^ "Çağrı / cc'ye karşı bir argüman".
  4. ^ Sørensen, Morten Heine; Urzyczyn, Pawel (2007). "Klasik Mantık ve Kontrol Operatörleri". Curry-Howard izomorfizmi üzerine dersler (1. baskı). Boston, MA: Elsevier. ISBN  0444520775.
  5. ^ "CONT imzası". New Jersey Standart ML. Bell Labs, Lucent Technologies. 1997-10-28. Alındı 2019-05-15.
  6. ^ "Sınıf: Devam". Ruby-doc.org. Neurogami, James Britt. Alındı 2019-05-15.
  7. ^ Kowalke Oliver (2014). "Çağrı / bilgi ile bağlam değiştirme". Boost.org. Alındı 2019-05-15.
  8. ^ https://stat.ethz.ch/R-manual/R-devel/library/base/html/callCC.html

Dış bağlantılar

Bu makale, şuradan alınan malzemeye dayanmaktadır: Ücretsiz Çevrimiçi Bilgisayar Sözlüğü 1 Kasım 2008'den önce ve "yeniden lisans verme" şartlarına dahil edilmiştir. GFDL, sürüm 1.3 veya üzeri.