I think he shouldn‘t have called it a Hello World if its purpose is to showcase a language feature instead of serving as an actual Hello World.