Plange

Function properties can be accessed programmatically. For example, the implementation and side effects are both modeled as objects. This permits safe assumptions about the behavior a function, or groups of functions, to be determined and applied for the purposes of static analysis and optimization, such as inlining and closed form solutions. The opaque keyword removes all information pertaining to the implementation and side effects of the function so that introspection is limited to analyses of native binaries and memory.