2

Just starting to learn PLT-Redex... Two questions come up:

  1. Can we use PLT-Redex to model side effects? For example: simple increment construct i++?
  2. What about thread? All the constructs introduced so far does not involve something like creating an thread? synchronization of the thread? is it doable in PLT-Redex (syntax as well as reduction rule?

Thanks in advance,

4

1 に答える 1