Hello,
I thanks Saif for adding to my argument and providing with the list of
other languages/tools that support such a functionality.
As Saif has mentioned about "typesafe callables" RFC that is now
inactive, I want to also point out toward another rfc that was
declined.
It was Callable Prototype
Hello Hamza,
I think this is something that has been discussed here before.
function types already exist in HackLang:
https://docs.hhvm.com/hack/functions/introduction#function-types,
And, if we would follow the same syntax `(function(T, T): T)` or `(callable(T,
T): T)`, PHP needs to first sup