Partial Evaluation, Constant Propagation, AI的关系是什么？

Call By Need语义下如何做Partial Evaluation？

怎样理解 Partial Evaluation？

After doing some research, we found mochiglobal, a module that exploits a feature of the VM: if Erlang sees a function that always returns the same constant data, it puts that data into a read-only shared heap that processes can access without copying the data. mochiglobal takes advantage of this by creating an Erlang module with one function at runtime and compiling it.