• @dan@upvote.au
      link
      fedilink
      9
      edit-2
      9 months ago

      Yeah…

      Facebook hasn’t used PHP for a long time. They use Hack which started as a language similar to PHP, but it’s very different now - it’s strongly-typed and has a bunch of advanced features, like the ability to annotate functions as pure (no side effects), which gets enforced by the type checker.