0

我正在使用密封类 List 和 map 函数练习一些函数式编程。

到目前为止，密封类的代码

sealed class List <T> {

    class Node <T> ( val head : T , val tail : List<T>) : List<T> () {
        override fun toString () =
            "${head.toString()} , ${tail.toString()}"
    }

    object Nil : List<Nothing> ()  {
        override fun toString () = "NIL"
    }

    companion object {
        operator
        fun <T> invoke (vararg values : T ) : List<T>{
            val empty = Nil as List<T>
            val res = values.foldRight( empty , { v, l -> l.addFirst(v)   })
            return res
        }
    }

    fun addFirst ( head : T ) : List<T> = Node (head , this)

    fun removeFirst ()  : List <T> = when (this) {
        is Nil -> throw IllegalStateException()
        is Node<T> -> this.tail
    }

}

密封类中的地图功能工作正常，但现在我希望它在密封类之外运行

fun <T,R> map (list:List<T>, f: (T) -> R) {
    when(list) {
        is List.Nil -> List.Nil as List<R>
        is List.Node -> List.Node<R> (f(head), tail.map(f))
    }
}

但是现在“head”和“tail”不再起作用，因为未解决的引用。我尝试了不同的策略，但没有任何效果。任何想法如何解决它？

4

1 回答 1

0

经过一些有趣的研究后找到了解决方案 List.map (f : (T) -> R) : List = when (this) { List.Nil -> List.Nil as List is List.Node -> List.Node (f （头），tail.map（f））}

于 2019-12-11T14:41:52.387 回答