Yaklaşımının belirgin bir gücü, yüksek dereceli işlevlerin (yani lambda terimleri) gözlemlenebilir sonuçlar olmasına izin vermesidir; bu, teoriyi genellikle oldukça zorlaştırır. (Temel sorun, ölçülebilir fonksiyon alanlarının genellikle Borel cebirinin bulunmamasıdır ; uygulama fonksiyonu - bazen "eval" olarak adlandırılır - ölçülebilir; fonksiyon alanları için Borel yapıları kağıdına girişe bakın .) Scott bunu kullanarak Gödel lambda terimlerinden doğal sayılara kodlama ve doğrudan kodlanmış terimlerle çalışma. Bu yaklaşımdaki bir zayıf nokta, kodlamanın program değerleri olarak gerçek sayılarla genişletilmesinin zor olabileceği olabilir. (Düzenle: Bu bir zayıflık değildir - aşağıdaki Andrej'in yorumuna bakın.)σ
CPS kullanmak öncelikle hesaplamalara toplam bir emir vermek, rastgele kaynağa erişim için bir toplam emir uygulamak gibi görünmektedir. Devlet monad'ı da aynı şeyi yapmalı.
Scott'ın "rasgele değişkenleri", Park'ın operasyonel semantiğindeki "örnekleme fonksiyonları" ile aynı görünüyor . Standart-tekdüze değerleri herhangi bir dağılımla değerlere dönüştürme tekniği daha çok ters dönüşüm örneklemesi olarak bilinir .
Ramsey ve Scott'ın anlambilimi arasında sadece bir temel fark olduğuna inanıyorum. Ramsey, programları program çıktıları üzerinde ölçüm yapan hesaplamalar olarak yorumlar. Scott's girdiler üzerinde var olan tek tip bir önlem alır ve programları bu girdilerin dönüşümleri olarak yorumlar. (Prensipte çıktı ölçüsü teneke kullanılarak hesaplanabilir preimages .) Scott'un Haskell Rastgele monad kullanarak benzer.
Genel yaklaşımında, Scott'ın semantiği , olasılıklı diller üzerine tezimin ikinci yarısına en çok benziyor - akıllı bir kodlama kullanmak yerine birinci dereceden değerlere bağlı kaldım, akışlar yerine rasgele sayıların sonsuz ağaçlarını kullandım ve programları yorumladım. ok hesaplamaları. (Oklardan biri, sabit olasılık alanından program çıktılarına dönüşümü hesaplar; diğerleri ön görüntüleri ve yaklaşık ön görüntüleri hesaplar.) Tezimin bölüm 7'si, programları sabit olasılık uzayının dönüşümleri olarak yorumlamanın neden bunları hesaplama olarak yorumlamaktan daha iyi olduğunu düşündüğümü açıklıyor. bir ölçü inşa ediyor. Temel olarak "önlemlerin sabit noktaları çok karmaşıktır, ancak programların sabit noktalarını oldukça iyi anlıyoruz."