web api to parse, render, and run code

[kostmo]

Closes #625.

Demo

Running code

Start a creative game:

scripts/play.sh --scenario data/scenarios/creative.yaml

In another terminal window:

curl -H "Content-Type: text/plain; charset=utf-8" -i http://localhost:5357/code/run --data "move;"

Observe that the robot has moved, and that the command sent via curl has been added to the REPL history.

Parsing and rendering code

Start swarm:

scripts/play.sh

Run curl:

curl --silent -H "Content-Type: text/plain; charset=utf-8"  -i http://localhost:5357/code/render --data @data/test/language-snippets/warnings/unused-vars/multiple-lambda-first-unused.sw

See output:

HTTP/1.1 200 OK
Transfer-Encoding: chunked
Date: Mon, 06 Mar 2023 10:16:12 GMT
Server: Warp/3.3.23
Content-Type: text/plain;charset=utf-8

def put = \x. \y. place y end
|
`- \x. \y. place y
   |
   `- \y. place y
      |
      `- place y
         |
         +- place
         |
         `- y

[kostmo]

Ready for another look, @byorgey.

[kostmo]

Potentially we could do some syntactical validation "client-side" before sending the raw text over the channel. We could even use the GameState from the IORef to parse the code "in context" with processTerm'. However, we would probably want to re-parse it "game-side", because (1) we want to add the raw command text to the REPL history, and (2) possible race condition (as mentioned above w.r.t. replWorking).

But I think that both of these client-side validations could wait until a later PR.

[byorgey]

Sorry it took me so long to look at this!

[byorgey]

@kostmo are there any other PRs that you'd like feedback on at the moment? I think I'm now caught up but I could very easily have missed some.

[kostmo]

any other PRs

#974 is blocked on a stale change request, maybe @xsebek can unblock it?