- 授权协议: Apache
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.nakedobjects.org/
软件介绍
Naked Objects是一种架构模式，也是一个以领域对象为中心角色的应用开发框架。Naked Object应用中的领域对象是用户界面的核心，同时也是开发活动的焦点。Naked Objects最近发布了3.0版，它支持Java 1.5、注入（injection）、一个可选UI、Hibernate对象存储、集成安全和认担动作（Contributed Actions）。其间他们与爱尔兰社会和家庭事务部门一道进行的努力，为使用Naked Objects提供了一个有价值的学习案例。
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》 这本书的介绍吧!
