Patent · US Active

System and method for supporting compatibility checking for lambda expression

US10528330B2 · kind B2 · utility

0Cited by

27References

20Claims

0Family size

Assignee

Oracle International Corporation · US

Inventors

Brian Goetz · Williston, US
Daniel Smith · Spanish Fork, US
Maurizio Cimadamore · Donabate, IE

Key dates

Filing date	Dec 27, 2018
Grant date	Jan 7, 2020
Priority date	—
Expiry date	Dec 27, 2038

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/41
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A system and method can support compatibility checking in a programming language environment. The programming language environment can check whether a target type associated with an expression in the programming language environment is functional, wherein the target type is functional when it has exactly one method meeting one or more criteria that define that method as relevant in a counting system. Then, the programming language environment can derive a function descriptor from the target type, which is context-dependent. Furthermore, the programming language environment can type-check the expression with the function descriptor associated with the target type.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.