[erlang-questions] Compiling functions returning large ground tuples

Richard O'Keefe <>
Tue Feb 3 06:22:05 CET 2009


I was enchanted to discover that the Mercury (strongly statically
typed and moded logic programming with Clean-like uniqueness typing)
system has an Erlang back-end.

I was less enchanted to discover that its originators
"lost interest", mainly because they needed to generate
functions that return large ground tuples.  In a message
today, they said "those tuples (which can be rather large)
would be reconstructed each time the function was called.
HiPE was better, but (I think at that time) tuples
containing binaries wouldn't be statically allocated."

I though the default compiler now generated code to make
static copies of large ground terms.  Was I mistaken about
that?  Did HiPE ever/does it now have any problem
generating static copies of large ground terms containing
binaries?




More information about the erlang-questions mailing list