Может ли PLT-Redex моделировать эти функции?

Только начинаю изучать PLT-Redex... Поднимаются два вопроса:

  1. Можем ли мы использовать PLT-Redex для моделирования побочных эффектов? Например: простая конструкция приращения i++?
  2. Как насчет thread? Все конструкции, представленные до сих пор, не включают в себя что-то вроде создания потока? синхронизация потока? это выполнимо в PLT-Redex (синтаксис, а также правило сокращения?

Заранее спасибо,

Источник

1 ответ

Решение

Я новичок в PLT Redex, но если больше никто не отвечает:

  1. Да: см. Страницу "Почему PLT Redex?", Где приводится пример использования изменяемого состояния: http://redex.racket-lang.org/why-redex.html

  2. Я должен так думать, учитывая, что решение, которое они дают для 1, кажется таким общим. Состояние вашей программы будет включать в себя несколько терминов, каждый из которых является состоянием одного потока. Создание потока просто добавит новый термин в список. Синхронизация сложнее, хотя в принципе должна быть возможность смоделировать π-исчисление в PLT Redex, и тогда у вас есть все примитивы потоков, которые вы можете захотеть, и даже больше. Я пока не могу точно сказать, как все это будет выглядеть в Redex, но похоже, что все инструменты есть.

Источник
Другие вопросы по тегам