[jhgg]

We used to use Smyte at my place of work prior to the twitter acquisition. Very cool stuff.

Ended up rewriting it in house. We ended up with a SQRL variant that is a restricted type-checked subset of python. It is not python however, just syntactically similar.

[whatupdave]

That's super cool. I worked on Smyte and have wanted to replace the language with something very similar to what you're describing. I'd love to learn more about it.

[jhgg]

I open sourced a very minimal proof of concept for this here: https://github.com/jhgg/hyrule which shows the syntax.