公开(公告)号：CN102222012A

公开(公告)日：2011-10-19

申请号：CN201110100148.9

申请日：2011-04-13

申请人： 微软公司

发明人： T·Y·T·额 ,  J·A·费雪 ,  D·西梅 ,  L·J·霍本

IPC分类号： G06F9/45

CPC分类号： G06F8/437

摘要： 在交互编辑环境中执行针对外部数据源的静态类型检查。可以向用户提供对于外部数据的与对内部静态、类型化数据所提供的体验相同的丰富编辑体验。提供可扩展编译器，使得用户或第三方可以将类型检查工具扩展到任何外部数据源。提供可扩展语言服务，使得用户或第三方可以扩展语言服务以提供外部数据的一致的且当前的静态视图。可扩展编译器和语言服务允许语言扩展插入类型检查过程。这使得编译器和语言服务能够提供扩展点，该扩展点允许编辑器的扩展并且允许语言服务静态地呈现动态信息。

公开(公告)号：CN102236573A

公开(公告)日：2011-11-09

申请号：CN201110122773.3

申请日：2011-05-04

申请人： 微软公司

发明人： J·A·费雪 ,  D·西梅 ,  L·J·霍本 ,  T·Y·T·额

IPC分类号： G06F9/45

CPC分类号： G06F8/437

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