用于类型化程序设计语言的名称绑定可扩展性

摘要

本发明涉及用于类型化程序设计语言的名称绑定可扩展性。提供插入编译器(例如F#)以及相关联的语言服务的方法的体系结构。所述语言组件定义允许任何组件插入服务的标准插件机制，并且提供名称绑定和类型解析服务。所述编译器和语言服务利用了被定义为(例如以为了插入系统必须实现的接口和类的形式)提供编译时间和设计时间扩展的协议。所述体系结构提供了定义用户化协议以与编译器的名称绑定机制交互的能力。这一协议的使用不仅使得编译成功，并且还提供诸如用于快速信息的名称查找和值查找等的丰富的IDE服务。此外，还支持提供静态类型信息以满足类型化的程序设计语言的需求的能力。