PLT-Redex可以模擬這些功能嗎？

Question

剛剛開始學習PLT-歸約......兩個問題上來：

1. 我們可以使用PLT-歸約模型副作用？例如：簡單的增量構造i++？
2. thread怎麼樣？到目前爲止所介紹的所有構造都不涉及創建線程之類的東西。線程的同步？是可行的PLT-歸約（語法以及減少規則

由於提前，

Answer 1

我是新來的PLT歸約自己，但如果沒有其他人接聽：

1. 是：請參見「爲什麼PLT歸約？」頁面，在那裏他們使用的可變狀態舉個例子：http://redex.racket-lang.org/why-redex.html

2. 我應該這樣想，因爲他們給了1解決方案似乎很一般，你的程序小號tate會包含許多術語，每個術語都是一個線程的狀態。創建線程只需在列表中添加一個新的術語。同步是棘手的​​，但原則上應該可以在PLT Redex中對π演算進行建模，然後獲得所需的所有線程原語以及更多。我還不能完全告訴你這些在Redex中會是什麼樣子，但它看起來像所有的工具都在那裏。