- 授权协议: BSD
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.nongnu.org/executor/
软件介绍
Java simple Executor 是个极小,但非常完美的功能性的 Java(1.5 及以上)的可执行 JAR ,用来在共享电脑资源(计算机连接池)上运行程序。除此之外,它还可以当作一个简单的文件共享程序。Executor 使用一个共享或者同步文件系统。比如,用户在这一个电脑上创建任务,另一个电脑可以执行这个任务。
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》 这本书的介绍吧!