Runtime type validation of data

[cheesycod]

Could be useful for e.g. webservers. Basically like pydantic but for luau (so smth similar to greentea and t). Basically, checks that a value/table matches the expected 'shape'

[CompeyDev]

I feel like this should be a community library like we have in TypeScript (zod, etc.); currently for pure Luau we have GreenTea which does just this.

[aatxe]

Yeah, something like this could potentially be integrated into batteries for now (and eventually be totally standalone) if we expose more of analysis in the runtime and use it to write such a thing, but if it doesn't meaningfully depend on lute, I think it's too broad to belong in the standard library at least.