📁 计算机编程语言 Cecil

Cecil是一种纯面向对象、基于原型的语言，旨在支持快速构建高质量、可扩展的软件。它将多种方法与简单的无类对象模型（原型）、一种动态继承、模块和可选的静态类型检查相结合。实例变量只能通过消息访问，允许实例变量被方法替换或覆盖，反之亦然。谓词对象机制允许根据运行时（可变）状态自动对对象进行分类。静态类型系统区分了子类型和代码继承，但允许用一组声明来描述这两个图，简化了两个图并行的常见情况。它具有相当灵活的参数化形式，具有与函数式语言中常见的多态函数相关的显式参数化对象、类型、方法和隐式参数化方法。通过使类型声明成为可选的，它旨在允许探索性和生产性编程风格之间的混合和迁移。它支持一种模块机制，该机制允许封装独立开发的子系统，尽管存在多方法和子类化，但可以单独对其进行类型检查和推理。对象可以通过添加方法和实例变量进行外部扩展，通常封装在单独的模块中，支持一种基于角色或面向主题的编程风格。