development - 遵循完整、类型驱动的开发实践

指导开发实践、代码质量、完整实现、先设计后编码以及变更验证。