- 授权协议: 未知
- 开发语言: JavaScript
- 操作系统: Android
- 软件首页: http://blog.mobileesp.com/
软件介绍
MobileESP 项目提供了网站开发者非常方便和轻量级的 API 用来检测当前访客是否使用移动设备，包括使用什么设备访问。
该 API 提供简单的布尔值结果用来标识移动设备，例如 iPhone, Blackberry, Android, 和 Windows Mobile。
The Little Typer
Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
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......一起来看看 《The Little Typer》 这本书的介绍吧!
