> An interpreted language with a focus on expressiveness and type safety
Personally I think typed scripting languages could be the future. They should support AOT compilation where necessary.
this have "Why" section https://gitlab.com/FascinatedBox/lily/-/blob/d3ace2907747106...
this have "How Lily stands out from other languages:" section https://gitlab.com/FascinatedBox/lily/-/blob/785a88534cced53...
It's also incredibly easy to extend the main Ruby implementation with C, C++, Odin, Zig, Rust, Fortran, etc... Literally a few lines.
>>46450217 Nerd: A language for LLMs, not humans (1 Jan 2026)
>>46571166 Show HN: GlyphLang – An AI-first programming language (11 Jan 2026)
>>46583581 Show HN: B-IR – An LLM-optimized programming language (12 Jan 2026)
>>46684958 Nanolang: A tiny experimental language designed to be targeted by coding LLMs (19 Jan 2026)
See also
>>46582728 Which programming languages are most token-efficient? - where someone said "Someone has made a programming language called Sui, which is said to be designed for LLMs." https://github.com/TakatoHonda/sui-lang
And many other threads I didn't find right now