The feature declared here is called `finish`. It has one argument `name` of type `String`. The arrow `=>` says that this feature is a function and the result type is inferred automatically from the code.
More on the Fuzion language, more examples, idioms, a tutorial, design background can be found at https://flang.dev
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
To call this feature, it is sufficient to write the name followed by an argument of type `String`, here we call `finish "schöne Welt!"`: