Type inference for the database access layer in PHP | Heykuki News