Lily Programming Language

What I really want to see from a "*-programming-language" post on HN is _why_. Why Lily?

> statically-typed

> Embed/extend in C

Is Lily intended to be (or could it be used as) a statically-typed alternative to Lua?

Personally I'm happy with dynamic typing for scripting - but I suspect many people would welcome a statically-typed option, and there don't seem to be many available.

I’m a sucker for little embeddable languages but I’m even more of a sucker for rpn. Wonderful little example shows how simple of a math scheme it is.

Has anyone yet designed a language with the explicit goal of being cheapest/easiest to use by an AI coding agent?