σ
Здається, використання CPS полягає в основному для нав'язування загального порядку для обчислень, для накладення загального порядку на доступ до випадкового джерела. Державна монада повинна зробити так само добре.
"Випадкові змінні" Скотта, схоже, такі ж, як "функції вибірки" Парка в його оперативній семантиці . Техніка перетворення стандартно-рівномірних значень у величини з будь-яким розподілом більш широко відома як вибіркове зворотне перетворення .
Я вважаю, що між семантикою Рамзі та Скотта є лише одна принципова різниця. Рамзі трактує програми як обчислення, які будують міру на результатах програми. Скотт передбачає існуючу єдину міру щодо входів і інтерпретує програми як перетворення цих даних. (Вихідний показник в принципі можна обчислити за допомогою зображень .) Скотт аналогічний використанню випадкової монади в Haskell.
У загальному підході семантика Скотта здається найбільш схожою на другу половину моєї дисертації з імовірнісних мов - за винятком того, що я дотримувався значень першого порядку замість розумного кодування, використовував нескінченні дерева випадкових чисел замість потоків та інтерпретував програми як обчислення стрілок. (Одна зі стрілок обчислює перетворення з фіксованого простору ймовірності в програмні виходи; інші обчислюють прийоми та приблизні зображення.) Розділ 7 моєї дисертації пояснює, чому я вважаю, що інтерпретувати програми як перетворення фіксованого простору ймовірностей краще, ніж інтерпретувати їх як обчислення які будують міру. Це, в основному, зводиться до того, що "точки визначення заходів є досить складними, але ми добре розуміємо точки виправлення програм".