On 12 May 2026 00:51:08 BST, Seifeddine Gmati <[email protected]> wrote:
>Quoting Matt Brown: "I have now been writing Hack (Facebook fork of
>PHP) full-time for almost five years — alongside hundreds of other
>backend engineers at Slack — and it’s obvious to everyone around me
>that erased generics are a good idea."


Just to bang this drum one more time, because I haven't seen you acknowledge 
it: Hack ships with a tool to statically enforce generic types before erasing 
them.

<https://docs.hhvm.com/hack/getting-started/tools/>

> hh_client: this is the command line interface for Hack's static analysis; it 
> is needed to verify that a project is valid Hack, and is used to find errors 
> in your programs

When people talk about their experience with erased generics in Hack, they're 
talking about their experience of universal use of that tool. 

I don't think you can apply that experience to a situation where the majority 
of users of the language have no such tool.


Rowan Tommins
[IMSoP]

Reply via email to