Delimit streams into records -- e.g. read --netstr

[glyh]

For now json read parse the whole input, but it would be nice that the parser stops when it receive everything it need.

This is useful for implementing something like jsonrpc.

[andychu]

I think we are going to use length-delimited netstrings for most things

The headless shell already uses that

https://www.oilshell.org/release/0.21.0/doc/headless.html

https://github.com/oilshell/oil/blob/master/client/py_fanos.py

So you can put JSON in netstrings like:

2:{},
4:[42],

I think it should be read --netstring or something

(Patches welcome! The Python code in FANOS may be copied / adapted)

---

If people really want JSON-RPC, it should be wrapped in something like curl

e.g. we don't implement HTTP in ysh directly, but we shell out to curl, or we shell out to a Go binary

Same with JSON-RPC

[andychu]

I wrote this doc a long time ago - https://www.oilshell.org/release/0.21.0/doc/framing.html

Basically I think we separate

• delimiting records in a stream
• parsing within those records

[glyh]

fanos.c is gone.