Scalaz(30)- Free :Natural Tranformation ~> - map higher kinded types for free

    当我们需要定义一些对应高阶类型进行相互类型转换的操作函数时,我们发现scala语言并不提供能定义这种函数的支持。举例来说:如果我们希望定义一个函数把对于任何T值的Option[T]转换成List[T]的话,我们可能这样定义:

1 def toList[T](opt: Option[T]): List[T] = opt.toList
2                                                   //> toList: [T](opt: Option[T])List[T]
3 val hOptFun = toList _                            //> hOptFun  : Option[Nothing] => List[Nothing] = <function1>

看看hOptFun的类型:Option[Nothing] => List[Nothing], 即我们无法对T的类型进行限定。如果我们使用hOptFun:

1 hOptFun(None)                                     //> res0: List[Nothing] = List()
2 //hOptFun(Some(10)) //type mismatch;  found   : Int(10)  required: Nothing
3 //hOptFun(Some("hi")) //type mismatch;  found   : String("hi")   required: Nothing

结果是无法正常使用hOptFun。这就证明了scala是不支持高阶类型转换函数的。一个可行的方法是通过一个特殊类来实现高阶类型转换,这就是scalaz的NaturalTransformation类型的主要功能。scalaz的NaturalTransformation类型是这样定义的:scalaz/NaturalTransformation.scala

/** A universally quantified function, usually written as `F ~> G`,
  * for symmetry with `A => B`.
  *
  * Can be used to encode first-class functor transformations in the
  * same way functions encode first-class concrete value morphisms;
  * for example, `sequence` from [[scalaz.Traverse]] and `cosequence`
  * from [[scalaz.Distributive]] give rise to `([a]T[A[a]]) ~>
  * ([a]A[T[a]])`, for varying `A` and `T` constraints.
  */
trait NaturalTransformation[-F[_], +G[_]] {
  self =>
  def apply[A](fa: F[A]): G[A]
...

我们只需要实现apply就行了:

1 val optionToListTrans = new (Option ~> List) {
2   def apply[T](opt: Option[T]): List[T] = opt.toList
3 }                                                 //> optionToListTrans  : scalaz.~>[Option,List] = Exercises.naturaltransform$$an
4                                                   //| onfun$main$1$$anon$1@2d554825
5 optionToListTrans(None)                           //> res1: List[Nothing] = List()
6 optionToListTrans(Some("hi"))                     //> res2: List[String] = List(hi)
7 optionToListTrans.apply(3.some)                   //> res3: List[Int] = List(3)

从optiontoListTrans.apply可以看出我们实际上直接调用了那个按我们要求实现的apply方法。换句话说:如果我们需要把F[A]与G[A]对应,我们可以通过实现apply的方式来表达它们具体的对应方式,这个apply方法就可以实现高阶类型的相互转换。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏xingoo, 一个梦想做发明家的程序员

【面试虐菜】—— JAVA面试题(3)

1 throws与throw的区别 解析:throws和throw是异常处理时两个常见的关键字,初级程序员常常容易正确理解throw和throws的作用和区别,...

1788
来自专栏一个会写诗的程序员的博客

JS中的phototypeJS中的phototype

原型法的主要思想是,现在有1个类A,我想要创建一个类B,这个类是以A为原型的,并且能进行扩展。我们称B的原型为A。

831
来自专栏令仔很忙

新手学JAVA(四)----装箱与拆箱

                                                                                ...

1012
来自专栏钟绍威的专栏

代理

代理就像个中介,最外层操作代理对象,代理对象再调用委托对象 当需要在调用前后做一些处理,但是这些处理与业务逻辑无关的时候,如果把无关代码写在业务逻辑里面,代码就...

21510
来自专栏云霄雨霁

Java--自动装箱、拆箱与遍历循环

18210
来自专栏java学习

面试题57(Java方法参数传递特性)

面试题57 2018年1月10日 本期题目 (单选题)Please write the output result 。? public class Test{ ...

3245
来自专栏liukaili_666888999

类方法和实例方法

1012
来自专栏前端儿

JS 数组去重(数组元素是对象的情况)

但当数组元素是对象时,就不能简单地比较了,需要以某种方式遍历各值再判断是否已出现。

1170
来自专栏Java 源码分析

Java基本包装类型

基本类型的对象包装,也就是将常用的基本数据类型包装成对象 byte Byte short Short int Integer long Long bool...

3166
来自专栏黑泽君的专栏

方法的返回值类型为引用数据类型时

方法的返回值类型为引用数据类型: 基本数据类型:(基本类型太简单,我不准备讲解) 引用数据类型: 1.方法的返回值类型为类名时:返回的是该类的对象。 ...

581

扫码关注云+社区