Michał Marcin Brzuchalski

@TheCodeLorax@tech.lgbt Thanks. I’ll be interested to read it. This RFC takes a narrower route: concrete runtime value kinds with native syntax and enforced element types. The two approaches may well be complementary.

@mattbrowndev@mastodon.social Fair point. `vec` names the collection shape rather than its mutability. The name follows existing precedent: Hack uses `vec` for an ordered value-type collection, and Rust uses `Vec` as the standard vector type. In this proposal, immutability is a shared property of all collection kinds rather than something encoded in each name. Still, naming is open for discussion at this draft stage.

I’ve published an early draft RFC for native immutable collections in PHP: https://wiki.php.net/rfc/immutable_collections The proposal introduces runtime-typed, immutable value collections with native syntax. The implementation is already functional, but the RFC is still in draft and has not entered formal internals discussion yet. Early feedback on the direction, syntax and API is very welcome.