What does HackerNews think of load81?
SDL based Lua programming environment for kids similar to Codea
Load81 might be of interest for this as well, it’s a commodore-like console interface for Lua, made by antirez: https://github.com/antirez/load81
Antirez built one for Lua: https://github.com/antirez/load81
My idea is to keep children off screen addiction for as long as possible, whilst still teaching them the relevant mindset, patterns of reasoning, and the way computers actually work.
On another angle, my son did start throwing together maps and sprites in no time with the (Lua-based) TIC-80 and Pico-8 when I showed these to him. Load81 by antirez is a similar Lua environment without the constraints: https://github.com/antirez/load81
Or, why not put together a low-cost computer/Z80-like terminal with your son, like the RC2014 that runs BASIC: https://rc2014.co.uk/
Good luck!
I've a very very positive experience with load81 [2], something I wrote almost solely for my son. In the latest months and thanks to this program my son learned to write Lua code and we are having a lot of fun.
I don't think it would be possible without a system that makes drawing a circle or checking where the mouse pointer is trivial.