Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Static type checking against external data sources

An external data, static type technology, applied in electrical digital data processing, instrumentation, computing, etc., can solve problems such as execution errors and less inspection

Active Publication Date: 2011-10-19
MICROSOFT TECH LICENSING LLC
View PDF3 Cites 9 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Dynamic typing is less strict than static typing, but can lead to a higher probability of execution errors (for example, error results due to the value of a variable having an impermissible type)
Dynamically typed language systems generally result in fewer compile-time checks of source code

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Static type checking against external data sources
  • Static type checking against external data sources
  • Static type checking against external data sources

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0013] overview

[0014] Programmers often write to include but not limited to databases, Microsoft Excel Code that targets specific external (usually but not necessarily dynamic) data sources such as spreadsheets, web services, files on disk, domain-specific models, etc. Several programming languages ​​provide dynamically typed access to these fields, but do not provide IDE support. Traditionally, external data sources are accessed dynamically by calling methods (eg, calls such as GET ROW to an SQL database and passing a string). At build time, a code generator can be run that examines data sources and generates code (often a large amount of code). This approach involves ongoing maintenance and updates to the code generator and does not provide developers with a good IDE experience. That is, programmer features like autocomplete, parameter help, and tooltips are not available at design time because information from external data sources is not available until build time. ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

Static type checking is performed against external data sources in an interacting editing environment. A rich editing experience can be provided to users for external data equivalent to that provided for internal static, typed data. An extensible compiler is provided so that a user or third party can extend type checking facilities to any external data source. An extensible language service is provided so that a user or third party can extend the language service to provide a consistent, current static view of external data. The extensible compiler and language service allow language extensions to plug into the type checking process. This enables the compiler and language service to provide an extension point that allows extensions of the compiler and allow the language service to render dynamic information statically.

Description

technical field [0001] The present invention relates to computer development, in particular to type checking in computer development. Background technique [0002] A data type in a programming language is an attribute of data that gives information about what kind of data it is. Constraints such as what types of values ​​that data can take and what operations can be performed on it can be established by assigning data types to data. A type system associates one or more data types with each program value in a program. Type systems try to prevent "type errors" by checking what instructions in a program do to the value of data. For example, a particular programming language may consider assigning a string value to a variable of integer type a type error, and give an error message to the user who attempts to do so. The type system also attempts to prevent illegal manipulation of data. For example, some programming languages ​​consider adding a string and an integer to be an ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/45
CPCG06F8/437
Inventor T·Y·T·额J·A·费雪D·西梅L·J·霍本
Owner MICROSOFT TECH LICENSING LLC
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com