Conversation

I’m adapting Kitten’s interactive mode from a REPL into a more full-featured TUI environment. Currently it’s still REPL-like by default, but I’ve got some sketches of viewing & editing definitions in different ways—freeform text, structured text, or a dataflow graph. #kittenlang
2
2
Examples of the initial “dataflow graph” rendering I’m doing, with & without types shown. The expression is “1 2 (+) 'x' swap replicate” (= "xxx")—each term is a box; data dependencies are shown by vertical arrangement. (The current output is functionally the same, but uglier.)
Image
Image
1
1
Various rendering styles are possible, e.g. lines instead of boxes for type cells, adding colours, only displaying types around the currently focused cell, &c. Gotta try various things, see what people find readable, choose sensible defaults, maybe expose the rest as settings.
Image
1
2