shapeless官方指南翻译写在前面

目录

  1. 前言
  2. Shapeless简介
  3. The Type Astronaut's Guide to Shapeless简介
  4. 总结

一、前言

       在我的2016,感恩、乐观、努力一文中,说2017年要进行技术储备,开始写第一本书或者翻译第一本书,当时未免是夸下海口,但是很快机会就来了,在学scala基础的过程中碰到了shapeless框架,恰好其有一本英文官方指导,链接地址为The Type Astronaut's Guide to Shapeless,很薄的一本书,100多页,于是就想能不能将其翻译下来,权当练手,贻笑大方。本文主要是对shapeless以及该书做简单介绍,相当于序,具体翻译内容大概要到鸡年了。

二、Shapeless简介

       shapeless是一款开源的scala类型处理框架,其Github地址为https://github.com/milessabin/shapeless,简介如下:

shapeless is a type class and dependent type based generic programming library for Scala. It had its origins in several talks by Miles Sabin (@milessabin), given over the course of 2011, on implementing scrap your boilerplate and higher rank polymorphism in Scala. Since then it has evolved from being a resolutely experimental project into library which, while still testing the limits of what's possible in Scala, is being used widely in production systems wherever there are arities to be abstracted over and boilerplate to be scrapped.

       所以shapeless是用来在scala中进行type class处理和dependent type处理的框架。关于type class可以参考http://hongjiang.info/scala-type-classes-pattern/、dependent type可以参考http://hongjiang.info/scala-type-system-dependent-types/

       个人理解type class就是高阶的隐式参数,相当于对类型进行分类,常用的有Ordering Numeric、Manifest、TypeTag、ClassTag等,可以翻译为分类类型。dependent type指当type class中存在多个类型参数的时候,某一个类型参数可以由其他类型参数决定,可以翻译为依赖类型。

三、The Type Astronaut's Guide to Shapeless简介

       这本书是其官方指南,有没有中文版也不太清楚,借用一句话就是少一些功利主义,多一些不为什么的坚持。所以我仅仅就是想把他翻译下来,一是提高英语水平,二是更好的理解它。So,just do it!下面是我对该书1.2节About this book翻译。

1.2 关于该书

该书共分为两部分。

第一部分介绍类型类(type class)派生,它使我们仅用一些泛型规则来为任何代数数据类型(algebraic data type,简称ADT)创建类型类实例。第一部分包含四个章节。

  • 第二章介绍泛型表示(generic representation),以及shapeless中名为Generic的类型类,Generic能够为任何一个模式类(case class)或密封特质(sealed trait)创建一个泛型编码器,将其转化为泛型。
  • 第三章介绍用Generic派生自定义类型类实例,并创建一个将Scala中的数据编码为CSV格式的类型类,但该例子所用的技术可以扩展到许多情形。此外还介绍了shapeless中的Lazy类型,可以处理像列表(list)以及树(tree)等类型的递归数据。
  • 第四章介绍前几章涉及的理论和编程模式,特别是针对依赖类型(dependent type)、类型依赖函数(dependently typed function)以及类型级别编程(type level programming),这些能使我们进入更高级的shapeless应用。
  • 第五章介绍LabelledGeneric,它是Generic的一个变体,它将字段名称和类型名称转换为其泛型表示的一部分。还介绍了一些理论知识:字面类型( literal)、单例类型(singleton)、幻象类型(phantom)和标记类型(type tagging)。我们会创建一个在输出中保持字段和类型名称不变的JSON编码器,以此来演示LabelledGeneric。

第二部分介绍在shapeless.ops包中提供的“ops类型类”,它来源于一个处理泛型表示工具的扩展库。在接下来的三章仅为大家介绍入门理论,而不是介绍每一个操作(op)的细节。

  • 第六章从宏观上介绍ops类型类,并给出了一个例子,通过将几个简单操作串联,从而组成一个强大的“模式类迁移(case class migration)”工具。
  • 第七章介绍多态函数(ploymorphic functions)亦称Poly,并展示在ops类型类中如何使用多态函数对“泛型表示”进行映射(mapping)、平面映射(flat mapping)和折叠(fold)操作。
  • 第八章介绍shapeless的Nat类型,它在类型级别表示自然数。介绍几个相关的ops类型类并用Nat建立我们自己的ScalaCheck(一个Scala测试框架)中的Arbitrary(随机数生成)类。

四、总结

       不出意外,这应该是猴年的最后一篇博客,这篇文章说大一点,也为鸡年的奋斗开了一个头,希望接下来的人生能够扎扎实实静下心来干点事情、学点东西。当然水平有限,并且还没有深入研究该书,很多问题和知识点自己还理解的不够,所以难免会出现错误,欢迎批评指正!同时在这里感谢我的合伙人包亮——西北第一程序员——对我的翻译以及编码的精心校对和指导!在这里也预祝所有的人新年快乐,新的一年里能够心想事成,取得令自己满意的收获!

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

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏Java帮帮-微信公众号-技术文章全总结

02.工厂模式/抽象工厂模式

工厂模式 工厂模式(Factory Pattern)是 Java 中最常用的设计模式之一。这种类型的设计模式属于创建型模式,它提供了一种创建对象的最佳方式。 在...

3123
来自专栏liukaili_666888999

swift和oc区别

swift注重安全性,oc注重灵活性。swift有函数式编程,面向对象编程和面向协议编程,而oc几乎只有面向对象编程。swift更注重值类型的数据结构,而oc遵...

8142
来自专栏数据科学与人工智能

【Python环境】python 中数据分析几个比较常用的方法

1,表头或是excel的索引如果是中文的话,输出会出错 ? 解决方法:python的版本问题!换成python3就自动解决了!当然也有其他的方法,这里就不再深究...

2428
来自专栏灯塔大数据

技术 | Python从零开始系列连载(五)

导读 为了解答大家初学Python时遇到各种常见问题,小灯塔特地整理了一系列从零开始的入门到熟练的系列连载 上一期学习了Python的基本运算和表达式,相信大家...

35611
来自专栏决胜机器学习

设计模式专题(二)——策略模式

设计模式专题(二)——策略模式 (原创内容,转载请注明来源,谢谢) 一、概述 1、含义 策略模式(Strategy)是一种定义了各类算法的模式,其将各种算法...

3528
来自专栏生信技能树

可能只是一个函数,却要耗费你大半天

好像不少人问过我一个聚类后的树如何根据肉眼观察到的cluster情况来提前指定的树的子集,有点类似于WGCNA分析把几千个基因划分成若干个module后能提取各...

1403
来自专栏GopherCoder

由 Python 到 Shell

2053
来自专栏数据科学与人工智能

【Python环境】如何使用正确的姿势进行高效Python函数式编程?

关于函数式编程 有哪些函数式语言? 其实函数是语言很早就出现了,上世纪30年代出现的Lambda和50年代的LISP,比面向过程和对象的语言出现的更早,现代的C...

22710
来自专栏HaHack

Extempore:实时系统的实时编程语言

介绍 Extempore 实时编程语言和环境,并详细探讨了使用 Extempore 演奏音乐的方法和技巧。

2122
来自专栏生信技能树

【生信菜鸟经】如何系统入门Perl

Perl是典型的脚本语言,短小精悍,非常容易上手,尤其适合处理文本,数据,以及系统管理。它在老一辈的生物信息学分析人员中非常流行,出于历史遗留原因大家肯定会或多...

4209

扫码关注云+社区

领取腾讯云代金券