Fennel is pretty nice.
I wish it had gradual typing support though or at least allowed for type annotation for static tooling. Not that dynamic typing isn't a valid choice but with more and more languages getting gradual typing support it is hard to go back.
I guess we could build something like Coalton but for Lua.
I've been working on something along those lines in eli:
https://github.com/codr7/eli?tab=readme-ov-file#type-checkin...
Nice looking language! What’s the status? Is it stable?
That would be a question of definitions :)
It's mostly addition by now, rare that something disappears or changes significantly.
No prod use by anyone afaik.
I did find this, though it seems runime only: https://github.com/dokutan/typed-fennel
Maybe a static system can be built upon it.