[Discussion] Revisiting typed closures

A PHP internals mailing list discussion revisiting the idea of typed closure signatures in PHP, e.g. Closure(int, string): array. The proposal would allow runtime enforcement of a closure's parameter and return types at type boundaries. The thread covers prior art (declined Callable Prototypes RFC from 2016, two 2023 draft RFCs), debate over whether to scope it to Closure only vs. callable, why generics are not a substitute (variadic generics would be needed and are far off), whether inline syntax vs. named delegate/alias syntax is preferable, and the relationship to a future type aliases feature. Key contributors include Larry Garfield, Rowan Tommins, and others from PHP internals.

Nguồn: https://externals.io/message/131781. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.

Đề xuất cho bạn

externals.io1 Hot22 phút2 giờ trướcAI

[Pre-RFC] Scalar object methods (with a working implementation)

Bài thảo luận đề xuất bổ sung phương thức đối tượng cho các kiểu scalar (số, chuỗi) trong PHP, cho phép gọi trực tiếp như $str->trim() hay (3)->pow(2). Phương pháp này sử dụng cơ chế dispatch tĩnh, chuyển đổi thành lời gọi static tới các lớp nội bộ mà không thêm opcode mới, nhưng vấp phải phản đối về phạm vi áp dụng hạn chế do mô hình biên dịch theo file của PHP và nguy cơ phá vỡ công cụ phân tích tĩnh.

Lập trình viên nên đọc bài này để hiểu cách PHP đang thảo luận về cách mở rộng tính năng gọi phương thức trực tiếp trên giá trị nguyên thủy (scalar) như $str->trim() mà vẫn đảm bảo hiệu suất và tính bảo mật thông qua cơ chế phân tán compile-time.