Back to results
US 2016/0259633 A1Published application
Safely consuming dynamically-typed code from a statically-typed programming language
OwnerRoger James Pooninventor
Life of this patent
Estimating the term…
Loading patent…
Loading patent…
OwnerRoger James Pooninventor
Estimating the term…
A computerized method is provided to consume a dynamically-typed language in a compatible language, and to compile source code in a compatible language into a target language to add “eventual type safety” and static type checking to a superset of a dynamically-typed language, irrespective of whether the dynamically-typed language is dynamically type-checked or not. The computing environment is a development environment comprising a compiler to compile statically-typed code to a dynamically-typed target language (or any other target language), a user interface for rendering visual interface for editing code and managing code, an editor for allowing programmers to edit source code, an execution engine for runtime execution of compiled code, a source code manager to enable programmers to manage source code files, and a source files module to store and retrieve source files.
A method of safely consuming dynamically-typed code from a statically-typed programming language, said method comprising:
The method in 23, wherein a keyword is provided for identifying one or more identifiers and symbols to be bypassed for name mangling.
The method in 23, wherein a symbol from said symbols has an assigned value through an expression from among an initialization expression or an assignment expression.
The method in 25, wherein said expression evaluating to an internal type having associated conversion mechanism to a unified external type.
The method in 25, wherein said expression evaluates to a unified external type.
A method of compiling a statically-typed compatible language with consumed dynamically-typed external language to a target language, said compiling further comprising
A method of compiling a statically-typed compatible language with consumed dynamically-typed external language to a target language, said compiling further comprising
A method of compiling a compatible language with consumed dynamically typed language to a target language, said compiling further comprising:
A method of compiling a compatible language with consumed dynamically-typed language to a target language, said compiling further comprising:
Dependencies are inferred from the claim text.