第３７回：Function literals with receiver

# はじめに
公式の問題集[「Kotlin Koans」](https://play.kotlinlang.org/koans/overview)を解きながらKotlinを学習します。

過去記事はこちら
- Introduction
  - [第０回：Kotlin Koansについて](https://qiita.com/kosuke1/items/41d192af63485bfc8cb8)
  - [第１回：Simple Functions](https://qiita.com/kosuke1/items/5862a3ece96082a62e67)
  - [第２回：Named arguments](https://qiita.com/kosuke1/items/2af11262852ee41b5da7)
  - [第３回：Default arguments](https://qiita.com/kosuke1/items/16cb8ac780df58dc8054)
  - [第４回：Triple-quoted strings](https://qiita.com/kosuke1/items/52cfeed2c49b0252d40e)
  - [第５回：String templates](https://qiita.com/kosuke1/items/0221bbbc5bc70847be6f)
  - [第６回：Nullable types](https://qiita.com/kosuke1/items/aa96e422c5313b6961bc)
  - [第７回：Nothing type](https://qiita.com/kosuke1/items/1ca0e48820d58c9dfe16)
  - [第８回：Lambdas](https://qiita.com/kosuke1/items/8de74f9491e003127f53)
- Classes
  - [第９回：Data classes](https://qiita.com/kosuke1/items/1be2de1b4406b8d914bf) 
  - [第１０回：Smart casts](https://qiita.com/kosuke1/items/50bdecaa0740eb0e1a17)
  - [第１１回：Sealed classes](https://qiita.com/kosuke1/items/71a4da02fe1e99da5d63)
  - [第１２回：Rename on import](https://qiita.com/kosuke1/items/f11465cc15a94e7589a3)
  - [第１３回：Extension functions](https://qiita.com/kosuke1/items/d4a1da00bc142c297221)
- Conventions
  - [第１４回：Comparison](https://qiita.com/kosuke1/items/e9486d044cae32167f36) 
  - [第１５回：Ranges](https://qiita.com/kosuke1/items/797f049ce5f33b1810c9)
  - [第１６回：For loop](https://qiita.com/kosuke1/items/f5f6eeea41fb89b2a20c)
  - [第１７回：Operators overloading](https://qiita.com/kosuke1/items/9845f98a632121f1493b)
  - [第１８回：Invoke](https://qiita.com/kosuke1/items/7879f83341d169374eb3)
- Collections
  - [第１９回：Collections Introduction](https://qiita.com/kosuke1/items/af91a0bd505cd93a3900) 
  - [第２０回：Sort](https://qiita.com/kosuke1/items/ed9a4b36f8573fc65a8f)
  - [第２１回：Filter map](https://qiita.com/kosuke1/items/45e70bac73706643e40c)
  - [第２２回：All, Any, and other predicates](https://qiita.com/kosuke1/items/daa940bf57e93d198ce4)
  - [第２３回：Associate](https://qiita.com/kosuke1/items/a4d8b0701b6848d43473)
  - [第２４回：Group By](https://qiita.com/drafts/d2279add0e79cbe19f01/edit)
  - [第２５回：Partition](https://qiita.com/kosuke1/items/d2279add0e79cbe19f01)
  - [第２６回：FlatMap](https://qiita.com/kosuke1/items/f08f22de98d736df6e12)
  - [第２７回：Max min](https://qiita.com/kosuke1/items/f2af0574bbc594bbe494)
  - [第２８回：Sum](https://qiita.com/kosuke1/items/477c2fd0886231440d06)
  - [第２９回：Fold](https://qiita.com/kosuke1/items/9b6ca3ab409335897adf)
  - [第３０回：Compound tasks](https://qiita.com/kosuke1/items/66949d40ce744bc696cb)
  - [第３１回：Sequences](https://qiita.com/kosuke1/items/f62212f67bde03298f11)
  - [第３２回：Getting used to the new style](https://qiita.com/kosuke1/items/80212483f696357496e6)
- Properties
  - [第３３回：Properties](https://qiita.com/kosuke1/items/0fa3e94b6ad1fe0440fd)
  - [第３４回：Lazy property](https://qiita.com/kosuke1/items/bc295546a00a054af1d1)
  - [第３５回：Delegates example](https://qiita.com/kosuke1/items/142b3a6ecf9686bd7960)
  - [第３６回：Delegates how it works](https://qiita.com/kosuke1/items/e87263dc02a89e312ace)

# 問題
[Function literals with receiver](https://play.kotlinlang.org/koans/Builders/Function%20literals%20with%20receiver/Task.kt)

[関数リテラル](https://kotlinlang.org/docs/lambdas.html#function-literals-with-receiver)について、レシーバを使って学びます。
`isEven`と`isOdd`を拡張関数として呼び出せる値として宣言することができます。
コードの中で宣言を完成させましょう。

```修正前コード.kt
fun task(): List<Boolean> {
    val isEven: Int.() -> Boolean = { TODO() }
    val isOdd: Int.() -> Boolean = { TODO() }

    return listOf(42.isOdd(), 239.isOdd(), 294823098.isEven())
}
```

# 問題のポイント
## Function literals with receiver﻿
`A.(B) -> C`のようなreceiverを持つ関数型は，関数リテラルの特殊な形式であるreceiver付き関数リテラルでインスタンス化することができます。

前述の通り、Kotlinではreceiverを持つ関数型のインスタンスを、receiverオブジェクトを提供しながら呼び出す機能があります。

関数リテラルの本体内部では、呼び出しに渡されたReceiverオブジェクトは暗黙の`this`となり、追加の修飾子なしにそのReceiverオブジェクトのメンバーにアクセスしたり、`this`式を使ってReceiverオブジェクトにアクセスしたりできるようになります。

この動作は拡張関数と同様で、拡張関数も関数本体の内部で受信機オブジェクトのメンバにアクセスすることができます。

以下は、関数リテラルの型に Receiver を指定し、Receiver オブジェクトに対して `plus` を呼び出した例です。
```Kotlin
val sum: Int.(Int) -> Int = { other -> plus(other) }
```
匿名関数の構文では、関数リテラルのレシーバー型を直接指定することができます。
これは、関数型の変数をreceiverで宣言しておき、後でそれを使用する必要がある場合に便利です。
```Kotlin
val sum = fun Int.(other: Int): Int = this + other
```

ラムダ式は、文脈からreceiverの型が推測できる場合、receiverを持つ関数リテラルとして使用することができます。
最も重要な使用例として、[タイプセーフビルダ](https://kotlinlang.org/docs/type-safe-builders.html)があります。



# 解答例
```Kotlin
fun task(): List<Boolean> {
    val isEven: Int.() -> Boolean = { this % 2 == 0 }
    val isOdd: Int.() -> Boolean = { this % 2 != 0 }

    return listOf(42.isOdd(), 239.isOdd(), 294823098.isEven())
}
```