MONADIC EVALUATION OF INJECTED QUERY COMPOSITIONS

摘要

Embodiments enable the evaluation of injected queries within a monad. One or more operators with closures are received from a first process. The operators with closures represent one or more functions to be applied by a second process. The second process evaluates the received operators with closures to apply the functions within the monad. During evaluation, the second process converts the closures to simply typed closures. Further, the second process binds the converted closures within the monad to restrict execution of the functions. In some embodiments, the queries (e.g., sequences of one or more operators with closures) are composed using a set of query operators from the language integrated query (LINQ) framework encoded in uniform resource locators (URLs) in the representational state transfer (REST) style.

主权项

1. A system for injection of operations into communications between a first process and a second process, the system comprising a processor programmed to:
extract one or more operators with closures from a uniform resource locator (URL) that is received from the first process, the one or more operators with closures corresponding to at least one request for data; and evaluate, by the second process, the one or more operators with closures to generate the data requested by the one or more operators with closures, each evaluation comprising:
converting the closures to simply-typed closures to yield one or more operators with converted closures; andbinding the one or more operators with converted closures within a monad to encapsulate the data.