Kotlin 柯里化（Currying）-函数调用链和偏函数

柯里化（Currying）的概念：

简单说就是多元函数参数变换成一系列单函数参数调用链

Currying的实现方法：

无返回值的函数

fun sum(x: Int, y: Int, z: Int) = x + y + z

sum(1, 2, 3)

如果我们把它按照柯里化的思路重新设计，那么最终就可以实现链式调用：

fun sum(x: Int) = { y: Int ->

    { z: Int -> x + y + z }

}

sum(1)(2)(3)

原函数：

fun hello(x:String,y:Int,z:Double):Boolean{

return true

}

currying函数：

fun hell(x:String)
=fun (y:Int)
=fun (z:Double)
=true

fun log(tag: String) =fun(target: OutputStream) =fun(message: Any?) = target.write("[$tag] $message\n".toByteArray())

//currying 扩展函数
fun<P1,P2,P3,R> Function3<P1,P2,P3,R>.curried()
        =fun(p1:P1)=fun(p2:P2)=fun(p3:P3)=this(p1,p2,p3)

/**定义一个匿名函数
 * 两个参数byteArry，charset
 * 返回String类型
 */
val makeString = fun(byteArry: ByteArray,charset: Charset):String{
    return String(byteArry,charset)
}

/**
 * 定义一个变量
 * partial2是一个偏函数
 * 第二个参数charset已经绑定为GBK
 */
val makeStringFromGbKBytes = makeString.partial2(charset("GBK"))

/**
 * 定义一个扩展偏函数方法
 * 参数是P1、P2
 * 返回值是：R
 * 参数p2已经被偏函数绑定
 * fun()只需要传第一参数就好了
 * partial1和partial2都是绑定参数的
 */
fun <P1,P2,R> Function2<P1,P2,R>.partial2(p2: P2) = fun(p1:P1) = this(p1,p2)
fun <P1,P2,R> Function2<P1,P2,R>.partial1(p1: P1) = fun(p2:P2) = this(p1,p2)
 

fun main(args: Array<String>) {
 

    //偏函数
    //1.定义一个变量
    //2.先柯里化一下它,对于固定每次都要传的参数，可以先固定一下它
    //3.对于多参数函数，通过先指定它的一些固定的参数值剩下一个参数值不固定，得到的依然是一个函数，这个函数就是原来函数的偏函数
    val consoleLogWithTag = (::log.curried())("benny")(System.out)
    consoleLogWithTag("Hello wang dong")
    consoleLogWithTag("helllo boy")
    consoleLogWithTag("hello girl")
}