kotlinで「->」の意味が分からない点があります

Question

Androidアプリを作ろうとしているのですが、記事で出てきたコードの意味が分からないので質問させてください。
参考にしたサイト

    if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.O) {

        // グループ生成
        val createGroup: (Group) -> NotificationChannelGroup =
                fun(group: Group) = NotificationChannelGroup(
                        getString(group.resId),  // グループID
                        getString(group.resId))  // グループ名
        manager.createNotificationChannelGroups(arrayListOf(createGroup(Group.Push), createGroup(Group.App)))

        // チャンネル生成
        val createChannel: (Channel) -> NotificationChannel =
                fun(channel: Channel) = NotificationChannel(
                        getString(channel.resId), // チャンネルID
                        getString(channel.resId), // チャンネル名
                        channel.importance) // 優先度
                        .apply { group = getString(channel.group.resId) } // グループと紐付け
            manager.createNotificationChannels(arrayListOf(createChannel(Channel.News), createChannel(Channel.Important)))
        }
    }

このコードでval createGroup:(Group)->NotificationChannelGroup=fun(group:Group)=NotificationChannelGroup()
という部分が全く意味不明です。

1. val createGroup:(Group)->　の->は何をしているのですか？記号なので検索しても情報が出てきません。
2. fun(group:Group)は＝に挟まれていますが、一体何をしているのですか？
3. このような書き方は推奨されるものですか？初学者が真似る"べきでない"コーディングでしょうか？kotlinやjavaは初めてなのですがかなり違和感を抱きました。

Comments

[hoshi-takanori]

-> はアノテーションではなく、ラムダ式ですね。
https://qiita.com/k5n/items/964d765767a65cc3de5b

Answer 1

暫定的に引数のない次のふたつのクラスを定義します。

  class Group
  class NotificationChannelGroup

件の部分は、こう。

    val createGroup: (Group) -> NotificationChannelGroup =
      fun(group: Group) = NotificationChannelGroup()

    val res: NotificationChannelGroup = createGroup(Group())

fun(group: Group) = NotificationChannelGroup()の部分は、無名関数を定義している。
: (Group) -> NotificationChannelGroupの部分は、定義した無名関数の型定義。Group型の引数をひとつとり、NotificationChannelGroupを返す関数型、の意。

件の部分を書き換えるとこうも書ける。

    val createGroup: (Group) -> NotificationChannelGroup =
      fun(group: Group): NotificationChannelGroup {
        return NotificationChannelGroup()
      }

変数の型定義を省略すると、こう。

    val createGroup = fun(group: Group): NotificationChannelGroup {
      return NotificationChannelGroup()
    }

関数内の行がreturn文だけなので、中括弧を省略すると、こう。

    val createGroup = fun(group: Group): NotificationChannelGroup =
      NotificationChannelGroup()

戻り値の型は推論にまかせて、省略すると、こう。

    val createGroup = fun(group: Group) = NotificationChannelGroup()

変数の型を明示的に指定すると、こう。

    val createGroup: (Group) -> NotificationChannelGroup =
      fun(group: Group) = NotificationChannelGroup()

一周してもとにもどりました。

.

わたしは、普段書くときは文字数少なくすませたいので、こう書きます。

    val createGroup = { group: Group ->
      NotificationChannelGroup()
    }

ちなみに。最後に実行した文の戻り値が関数の戻り値になるため、returnは書かない。

どの書き方が正解なのか推奨なのか普通なのは、githubなどでいろいろなソースを観察してみるといいとおもいます。

Answer 2

ここに書いてあります。
アノテーションと呼ばれるもので、

アノテーションはコードにメタデータを付加する手段。 アノテーションを宣言するには、class の前に annotation 修飾子を付ける。 アノテーションクラスをメタアノテーションで修飾することで、アノテーションの付加属性を指定できる。

pythonですが、ここにも書いてありますので、内容的には共通しているので、読んでみてください。
アノテーションの場所を正確に伝えるため、とも書いてありますので、書かないと予期せぬ動作（他の所を参照してしまう）をするのかと思います。
私には、詳しくは分かりませんでした…。お互いに頑張りましょうね。

Answer 3

記号なので検索しても情報が出てきません。

そうでもないです。
以前は記号は検索できないのが常識でしたが、ここ数年でGoogleはこのような広く使われている記号列は特別扱いするようになったようで、多くの記号列で有用な検索結果を返します。
-> - Google検索

この通り、C言語とPHPとJavaScriptというプログラミング言語関連の文脈で、「アロー演算子」や「アロー関数式」と呼ばれていそうだという有用な情報が得られます。
あとは言語名と組み合わせて「Java ->」と検索してもよいですし、名前が分かったのだから「アロー演算子」を検索するのもよいでしょう。

また、本当に検索できない記号列の場合ですが、Wikipediaの記事が役に立つことが多いです。
この場合「>」に対応する「不等号」の記事にコンピュータでの用法が色々と載っており、Javaでの->については書かれていないものの、

C言語、Perl、PHPなどでは、-> はメンバ演算子である。アロー演算子とも呼ばれる。

と「メンバ演算子」「アロー演算子」という検索に役立ちそうな単語が得られます。

Wikipediaを見るときは英語版も見るのが良いです。「Greater-than sign」を見るとこちらもJavaについては書かれていないものの

In Swift, it is used to indicate the return value type when defining a function (i.e., func foo() -> MyClass {...})

という新たな用法が見つかります。CやPHPのメンバ演算子とは別の使われ方もあるようですね。

他には「"hyphen greater than"」などと文字の名前を並べて検索するのも有用です…が今回は意味のある結果が出ませんでした。残念です。