@mcc But Kotlin is there, too, and it has type inference. ? Upside for me: don't have to use either. Downside for me: have to use PHP.