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

摘要

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

主权项

一种具有存储由处理器执行的可执行指令的计算机可读介质的计算机可实现系统(100)，包括：编译组件(102)，所述编译组件具有包含名称绑定服务在内的服务的内部编译流水线的类型化程序设计语言；以及可扩展接口组件(110)，所述可扩展接口组件便于通过语言扩展访问名称绑定服务以便在编译时间与类型交互。