Запитання з тегом «scheme»

1
Чи тривіальна контекстна еквівалентність мови з "цитатою" -еваль?
У роботі [1] Мітчелл Ванд продемонстрував, що додавання fexprs до чистого обчислення лямбда тривілізує теорію контекстуальної еквівалентності, тобто два терміни є контекстуально еквівалентними, якщо вони -конгруентні. При вивченні відповідної роботи, він пішов «наш результат розширює старе спостереження Альберт Мейєр [2] , що і візуалізації контекстна еквівалентності тривіальним». Але посилаючись на …

1
Чи може виклик / куб.схеми реалізувати всі відомі структури потоків управління?
На сторінці "Розширена схема: деякі неслухняні біти" зазначено: Продовження - це потужна конструкція керуючого потоку, з якої може бути отримана майже будь-яка інша структура управління потоком [...]. Я думав, що схеми call/cc, пов'язані (*) з оператором J Петра Ландіна, можуть бути використані для реалізації будь-якої відомої структури потоку управління? Маючи …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.