A case for type systems

[swar-mukh]

Hello, first of all: thanks for the project! I have used it to gain further insights into Lua and how this project, in reality, enhances the aesthetics and productivity overall.

I was wondering, that when programming in the small gradually/naturally extends to programming in the mid, and way up to programming at large, sometimes it is no harm to have type checks and therefore static analyses to be integrated to ensure peace of mind.

With that being said, how different would you consider Pluto (a superset of Lua) from Teal (a typed dialect of Lua) (GitHub repo)? Keeping aside the two primary differences of Pluto's QoL/syntactical additions to Lua and Teal's type-system, there is a certain overlap in the language constructs. I'm saying this because I have worked with Teal as well.

However, it may be the case that types are not in consideration currently or may not be ever in the future, but for the larger Lua community (keeping in mind this project's unique standpoint), would this be perceived as a fragmentation in the Lua space, and if not, then can Pluto be enhanced in anyway whatsoever?

[Sainan]

Pluto does have a type system albeit the coverage is relatively limited due to the framework it's built on, plus there doesn't seem to be a huge interest in further coverage based on what I've seen from users.

Fragmentation in 'the Lua space' is already abudant, so we generally try to ignore it and just focus on what works for us and how we can provide a great developer experience with syntax QoL and many builtin and external libraries.