Random greeting

function random_greeting( string $name = "World"): string {
    $greetings = [ "Hello", "Hi", "Hey" ];
    return $greetings[ array_rand($greetings) ] . ", " . $name . "!";
}