fp-kotlin-example

Example source code for functional programming in Kotlin

fp-kotlin-example's People

Contributors

Stargazers

Watchers

fp-kotlin-example's Issues

4-1 solution 문의

4-1. orElse 함수는 PartialFunction의 입력값 p가 조건에 맞으면 PartialFunction을 그대로(this) 반환하고 조건에 맞지 않으면 that을 반환한다.

문제 대로라면 (that조건과 관계 없이) p 조건만 맞지 않을 경우 that을 반환해야 한다고 이해를 했습니다.
그런데 solution에는 p조건과 that조건을 모두 체크하고 둘다 맞지 않는 경우 exception처리를 하고 있습니다.

fp-kotlin-example/src/main/kotlin/fp/kotlin/example/chapter04/solution/4-1-invokeOrElse-orElse.kt

Line 37 in 9a57098

else -> throw IllegalArgumentException("$it isn't defined")

문제 내용대로라면 아래와 같이 수정이 되어야하지 않을까요?

fun main() {
    val cond1: (Int) -> Boolean = { it in 1..3 }
    val body1: (Int) -> String = {
        when (it) {
            1 -> "one"
            2 -> "two"
            3 -> "three"
            else -> throw IllegalArgumentException("THIS IS DEFAULT CATCHER")
        }
    };

    val cond2: (Int) -> Boolean = { it in 3..6 }
    val body2: (Int) -> String = { "wow $it" }

    val oneToThree = PartialFunction(cond1, body1); //1~3
    val threeToSix = PartialFunction(cond2, body2); //3~6

    val test2 = threeToSix.orElse(oneToThree)(3);
    require(test2 == "wow 3")
    val test3 = threeToSix.orElse(oneToThree)(1);
    require(test3 == "one")
    try {
        val test = threeToSix.orElse(oneToThree)(50);
    } catch (err: Throwable) {
        require(err.message == "THIS IS DEFAULT CATCHER")
    }
}

class PartialFunction<P, R>(
        private val condition: (P) -> Boolean,
        private val f: (P) -> R
) : (P) -> R {

    override fun invoke(p: P): R = when {
        condition(p) -> f(p)
        else -> throw IllegalArgumentException("$p isn't supported.")
    }

    fun isDefinedAt(p: P): Boolean = condition(p)

    fun orElse(that: PartialFunction<P, R>): PartialFunction<P, R> =
            PartialFunction({ true },
                    {
                        if (this.isDefinedAt(it))
                            f(it)
                        else
                            that.f(it)
                    })
}