An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursions-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to type. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
2020-01-03 11:36:11 38.66MB pie typer little type-system
1
用java实现的,密钥长度为128的AES算法,并且支持任意格式的文件!
2020-01-03 11:24:40 19KB AES java type
1
Unity3D特效 光圈特效 Effect 6 Type 资源包,内涵6种光效果粒子。
2020-01-03 11:24:35 6.9MB 光圈特效 Unity3D特效
1
类型和程序设计语言(压缩包含有中文版和英文版两份pdf) Types.and.Programming.Languages
2019-12-26 03:16:53 35.74MB Type
1
简易版 TYPE-C 封装 简易版 TYPE-C 封装 简易版 TYPE-C 封装
2019-12-21 22:25:33 68KB 简易版 TYPE-C 封装
1
系统默认TypeC,有些软件支持TypeB,例如PSPdisp。
2019-12-21 22:13:24 212KB PSP USB驱动 TypeB
1
USB IF 官方资料 .USB Type-C Cable and Connector Specification 1.4,2019年3月29日Release
2019-12-21 21:57:08 10.7MB Type C USB
1
几种USB type-c母座原理图符号及PCB封装(含3D模型,适用于AltiumDesigner)
2019-12-21 21:41:36 1.35MB type-c AltiumDesign
1
HTML+JAVA 手机端相册或者拍照上传到服务器。前台代码部分:手机选择图片input type=file,通过form表单提交到后台;后台java代码部分:获取表单提交的文件和普通控件数据,将文件写入服务器某路径下
2019-12-21 21:39:49 3KB 手机上传图片
1
USB Type-C Specification Release 1.3,2017年7月14日最新版本V1.3。详细介绍了USB TYPE-C的协议规范,包括母座,插头和连接线的规范。
2019-12-21 21:33:15 9.02MB USB TYPE-C USB3.1
1