最萌小汐 comments

Results 339 comments of


                                            最萌小汐

Operator annotations for comparison operators

I remember why I didn't support these operators. These operations will be adjusted to Boolean values no matter what type of metamethod you returns. Therefore, it is meaningless to declare...

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

> Would you accept PRs regarding this or is this subject completely off the table? I'm glad to accept PRs.

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

My current idea is ```lua ---@class Student ---@exact ---@field study_level integer ``` or ```lua ---@class Student ---@field study_level integer ``` Any other good ideas are also welcome. (Translated by ChatGPT)

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

> I know it'll break existing code and require work to update the definitions everywhere, but would you consider simply changing the existing so that it enforces exactness by default?...

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

I can try adding an option that is enabled by default to enable this feature. If many users give feedback that they don't like this feature, I can downgrade it...

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

I can do this first: ```lua ---@class Class local m = {} m.xx = 1 -- OK ---@type Class local m m.xx = 1 -- OK m.yy = 1 --...

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

> The downside of this would mean all methods would need to be declared up front. I cannot allow injecting fields from type references; if I did, the cost of...

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

> For the other case how about: > > ```lua > ---@class Class > local m = {} > > function m:init() > m.xx = true -- OK: adding field...

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

@carsakiller any suggests for name and syntax of `exact` or `sealed` ?

[Feature Request] Add a strong typed struct/class that cannot assign a new field that is not defined in the struct/class.

> Can I ask an example(s) of _typical writing habits_ you wish to support? > > My suggestion works up your suggestion by defining a base table that acts as...