Scheme'nin call / cc'si bilinen tüm kontrol akış yapılarını uygulayabilir mi?

Sayfa "Gelişmiş Şeması: Bazı Yaramaz Bit" devletler:

Devamlar, hemen hemen tüm diğer kontrol akışı yapılarının [...] türetilebileceği güçlü bir kontrol akışı yapısıdır.

call/ccPeter Landin'in J operatörü ile ilişkili (*) olan Scheme's'in bilinen herhangi bir kontrol akış yapısını uygulamak için kullanılabileceğini düşündüm.

"Kontrol akış yapısı" ile, özellikle Wikipedia'nın bunlarla ilgili açıklamalarını , örneğin istisnalar, koroutinler, yeşil iplikler vb.

Özellikle, kontrol akış yapılarının herhangi örnekler vardır edemez kullanılarak uygulanabilir call/cc?

(*) call/ccJ operatörü kadar güçlü bir kağıt açamadım. Felleisen tarafından yazılan (okuduğum ve kabul ettiğim gibi tam olarak anlamakta sorun yaşadığım) bir makale bunu araştırıyor ve farklı karmaşıklık sınıflarında olmalarına rağmen resmen eşdeğer oldukları sonucuna varıyor gibi görünüyor.

(Ayrıca, aşağıdaki yorumlara dayanarak soruyu güncellediğimi de unutmayın)

Güncelleme

Aşağıdaki @Neel'in mükemmel cevabına dayanarak, sınırlandırılmış ve sınırlandırılmamış süreklilikler hakkında yorum yapan sitelere baktım ve gerçekten call/ccde sınırsız olmak yeterli değil gibi görünüyor . Bu sırada, birinci sınıf, ayrılmış (benzeri uzantılar shift/reset) olabilir herhangi bir kontrol akış yapısını ifade ederken, bu gibi görünüyor, kullanılabilir.

Bu cevapta, Programlama Dillerinin Etkileyici Gücü Üzerine Felleisen 1991 anlamında "makro-ifade edilebilir" anlamına gelen "ifade" edeceğim . (Sezgisel olarak, bir dil özelliği, tüm program dönüşümü kullanmadan yerel bir kaynak dönüşümü olarak tanımlayabiliyorsanız makro tarafından ifade edilebilir.)

Bu tanım ile cevap hayır : sınırlı kontrol lambda-calculus + call / cc'de makro-ifade edilemez. Sınırlı kontrol operatörlerini call / cc kullanarak ifade etmek. Kontrol sınırlayıcıları (kaydırma / sıfırlamanın sıfırlama kısmı) uygulamak için, devam işaretlerini simüle etmek için, esas olarak devam işaretlerinin dinamik ömürlerini simüle etmek için bir yığını kodlamak için bazı durumlara ihtiyacınız vardır.

Bununla birlikte, sınırlandırılmış kontrol aşağıdaki anlamda evrensel bir etkidir. Onun içinde doktora tezi , Andrzej Filinski herhangi eksprese yan etki ya da ayrılmış devamlılık veya arama / cc ve devlet tek bir hücre ile kodlanabilen olduğunu göstermiştir. Kabaca, "ifade edilebilir bir yan etki", monadik tipi, programlama dili türleri açısından tanımlanabilen herhangi bir etkidir.

Şaşırtıcı bir şekilde, bu fikir pratikte oldukça ilginç görünüyor. Son on yılda, Gordon Plotkin ve John Power , etki teorilerinin cebirsel anlambilimini alma fikrini savundular : fikir, ilgilendiğiniz yan etki işlemlerini ve onlardan tatmin etmelerini beklediğiniz denklemleri belirtmeniz ve ardından bu teori üzerinde özgür monad alarak genel anlamda bir anlambilim elde edebilirsiniz.

Matija Pretnar ve Andrej Bauer bu matematiksel yaklaşımı benimsediler ve daha sonra "efekt işleyicileri" olarak adlandırılan yeni bir dil kurgusu icat etmek için Eff dilinde uyguladılar : bir dizi zorunlu özellik kullanan kod yazabilir ve sonra zorunlu özelliklere bir anlambilim verebilirsiniz her etkili operasyonun nasıl uygulanacağını söyleyen bir dizi işleyici yazarak.