首页
首页
沸点
课程
直播
活动
竞赛
商城
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
会员
登录
注册
确定删除此收藏集吗
删除后此收藏集将被移除
取消
确定删除
确定删除此文章吗
删除后此文章将被从当前收藏集中移除
取消
确定删除
编辑收藏集
名称:
描述:
0
/100
公开
当其他人关注此收藏集后不可再更改为隐私
隐私
仅自己可见此收藏集
取消
确定
Shapeless入门指南
订阅
ScalaCool
更多收藏集
微信扫码分享
微信
新浪微博
QQ
3篇文章 · 0订阅
Shapeless入门指南(一):自动派生 typeclass 实例
本文由 Jilen 发表在 ScalaCool 团队博客。 shapeless 是一个类型相关的库,提供了很多有趣的功能。 本文介绍其中一个重要功能:自动派生 typeclass 实例。 Hlist Shapeless 实现了 HList,不同于 Scala 标准库的 Tuple…
Shapeless 入门指南(三): Nat 和 implicit 在 shapeless 中的应用
本文由 Jilen 发表在 ScalaCool 团队博客。 前面文章中,我们提及了 peano 数类型:Nat,并且展示了隐式转换这项 Scala 黑科技的应用。 可以看到这个方法,能返回正确的类型而不是 Any,并且能在编译时做越界检查。 然而调用时,仍旧需要手工指定 A 的…
Shapeless 入门指南(二):自然数类型 Nat
本文由 Jilen 发表在 ScalaCool 团队博客。 上一篇文章介绍了 shapeless 的重要功能:自动派生 typeclass 实例。 首先我们确定一下自然数只是一个符号系统,我们用 0,1,2,... 这些符号表示一些抽象的概念 shapeless 这里定义实际上…