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.

用java实现的，密钥长度为128的AES算法，并且支持任意格式的文件！

Unity3D特效 光圈特效 Effect 6 Type 资源包，内涵6种光效果粒子。

类型和程序设计语言（压缩包含有中文版和英文版两份pdf） Types.and.Programming.Languages

简易版 TYPE-C 封装 简易版 TYPE-C 封装 简易版 TYPE-C 封装

系统默认TypeC，有些软件支持TypeB，例如PSPdisp。

USB IF 官方资料 .USB Type-C Cable and Connector Specification 1.4，2019年3月29日Release

几种USB type-c母座原理图符号及PCB封装（含3D模型，适用于AltiumDesigner）

HTML+JAVA 手机端相册或者拍照上传到服务器。前台代码部分：手机选择图片input type=file，通过form表单提交到后台；后台java代码部分：获取表单提交的文件和普通控件数据，将文件写入服务器某路径下

USB Type-C Specification Release 1.3,2017年7月14日最新版本V1.3。详细介绍了USB TYPE-C的协议规范，包括母座，插头和连接线的规范。