会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • Layered type systems
    • 分层式系统
    • US20070038978A1
    • 2007-02-15
    • US11201507
    • 2005-08-11
    • Henricus MeijerDavid SchachAvner AharoniPeter Drayton
    • Henricus MeijerDavid SchachAvner AharoniPeter Drayton
    • G06F9/44
    • G06F8/437
    • The subject disclosure pertains to layering of a plurality of type systems. A development environment and language compilers can support multiple data models and their type systems in the same program. Elements of a program such as expressions can then be associated with several types from the multiple type systems. Compilers can employ the information provided by additional type systems to improve static type checking. Furthermore, the information can be bubbled up to a user in a plurality of forms including but not limited to intelligent assistance, auto-completion, tool tips, error information, and return types to enhance the program development experience.
    • 主题公开涉及多个类型系统的分层。 开发环境和语言编译器可以在同一程序中支持多种数据模型及其类型系统。 诸如表达式的程序的元素然后可以与多种类型的系统中的几种类型相关联。 编译器可以使用附加类型系统提供的信息来改进静态类型检查。 此外,信息可以以多种形式鼓泡到用户,包括但不限于智能辅助,自动完成,工具提示,错误信息和返回类型,以增强程序开发经验。