You can actually write you example a bit more concisely in Hack: "$y ==> $y + 1".
If the right hand side _is_ wrapped in curly braces then it is treated as a list of statements, in which case you do need to use the "return" keyword.
You can actually write you example a bit more concisely in Hack: "$y ==> $y + 1".