搜索 - 腾讯云开发者社区-腾讯云

文章/答案/技术大牛

发布

来自专栏点滴积累
shapeless官方指南翻译写在前面
目录前言 Shapeless简介 The Type Astronaut's Guide to Shapeless简介总结一、前言在我的2016，感恩、乐观、努力一文中，说2017年要进行技术储备 Guide to Shapeless，很薄的一本书，100多页，于是就想能不能将其翻译下来，权当练手，贻笑大方。本文主要是对shapeless以及该书做简单介绍，相当于序，具体翻译内容大概要到鸡年了。二、Shapeless简介 shapeless是一款开源的scala类型处理框架，其Github地址为https://github.com/milessabin/shapeless，简介如下第八章介绍shapeless的Nat类型，它在类型级别表示自然数。
1.4K70发布于 2018-04-28
来自专栏点滴积累
《类型编程晋级——shapeless类库使用指南》前言及第一章翻译
原名：The Type Astronaut's Guide to Shapeless 中文：类型编程晋级——shapeless类库使用指南作者：Dave Gurnell（戴夫·格内尔）翻译：魏守峰、 Miles Sabin shapeless作者概要此书是关于如何使用shapeless的指导，shapeless是基于Scala语言的泛型编程库。 : shapeless. ::[String,shapeless. ::[String,shapeless.
1.4K80发布于 2018-04-28
来自专栏算法+
这一路走来，冷暖自知 (附算法demos)
empty your minds, be formless,shapeless,like water. you put it into a cup,it becomes the cup. you put
1.1K80发布于 2018-04-12
来自专栏响应式编程
STTP的基本使用(2)：Json
智商够用可以去看https://github.com/milessabin/shapeless。使用 circe-optics 模块还可以对 Json 数据进行遍历、修改。
82210编辑于 2022-05-30
来自专栏CSDN技术头条
改变开发者编码思维的六种编程范式
Scala的Shapeless库添加了对Scala依赖类型的部分实验性质支持，并提供了观察一些例子的简单方法。下面是如何声明一个Vector的代，其中使用了shapeless库，包含值1、2、3： val l1 = 1 :#: 2 :#: 3 :#: VNil 这里创建了一个变量l1，它的类型签名不仅指定它是一个包含 Shapeless是一个了不起的库，但在我看来，它仍然有点粗糙，只支持依赖类型的一个子集，并导致生成相当详细的代码和类型签名。
2.5K100发布于 2018-02-12
来自专栏iKcamp
iKcamp｜基于Koa2搭建Node.js实战（含视频）☞ 解析JSON
如何设置 JSON 格式伟大的武术家——李小龙先生——说过这样一段话： Empty your mind, Be formless,shapeless like water.
1.4K90发布于 2018-03-30
来自专栏函数式编程语言及工具
Scalaz（9）－ typeclass：checking instance abiding the laws
._ 3 import shapeless._ 4 import scalacheck.ScalazProperties._ 5 import scalacheck.ScalazArbitrary
62760发布于 2018-01-05
来自专栏顶级程序员
6 个新奇的编程方式，改变你对编码的认知
Shapeless 是一个仍然有点粗糙的库，只支持依赖类型的一个子集，并有相当冗长的代码和类型签名。相反，Idris使得类型成为编程语言的第一类成员，因此依赖类型系统似乎更加强大和干净。
2.8K50发布于 2018-04-26
来自专栏全栈程序员必看
分布式事务–Hmily(feign)「建议收藏」
所有代码：https://gitee.com/shapeless/demo_SpringCloud/tree/hmily/ 官网文档(springcloud)：SpringCloud用户指南 · dromara
1.3K20编辑于 2022-08-31
来自专栏容器计算
【Spark】用scala2.11编译打包构建镜像
target/scala-2.11/jars/scala-xml_2.11-1.0.5.jar /root/tx/spark-all/spark/assembly/target/scala-2.11/jars/shapeless javax.ws.rs-api-2.0.1.jar scala-xml_2.11-1.0.5.jar commons-collections-3.2.2.jar jaxb-api-2.2.2.jar shapeless
1.4K41发布于 2020-07-27
来自专栏CSDNToQQCode
Spark高效数据分析03、Spack SQL
JTransforms-3.1.jar;D:\old\newPro\pl\edu\icm\JLargeArrays\1.5\JLargeArrays-1.5.jar;D:\old\newPro\com\chuusai\shapeless _2.13\2.3.3\shapeless_2.13-2.3.3.jar;D:\old\newPro\org\typelevel\spire_2.13\0.17.0\spire_2.13-0.17.0. JTransforms-3.1.jar;D:\old\newPro\pl\edu\icm\JLargeArrays\1.5\JLargeArrays-1.5.jar;D:\old\newPro\com\chuusai\shapeless _2.13\2.3.3\shapeless_2.13-2.3.3.jar;D:\old\newPro\org\typelevel\spire_2.13\0.17.0\spire_2.13-0.17.0.
64320编辑于 2022-11-30

shapeless官方指南翻译写在前面

《类型编程晋级——shapeless类库使用指南》前言及第一章翻译

这一路走来，冷暖自知 (附算法demos)

STTP的基本使用(2)：Json

改变开发者编码思维的六种编程范式

iKcamp｜基于Koa2搭建Node.js实战（含视频）☞ 解析JSON

Scalaz（9）－ typeclass：checking instance abiding the laws

6 个新奇的编程方式，改变你对编码的认知

分布式事务–Hmily(feign)「建议收藏」

【Spark】用scala2.11编译打包构建镜像

Spark高效数据分析03、Spack SQL

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐