I think discovering modes of predicates dynamically can allow us to perform some of Mercury's optimizations just-in-time while allowing the language to be dynamic. Gradual mode inference is another direction this research can go. In a gradual setting, we can infer as much mode information as possible and optimize the "moded" parts of the program, similar to how Julia uses types for performance.
I think discovering modes of predicates dynamically can allow us to perform some of Mercury's optimizations just-in-time while allowing the language to be dynamic. Gradual mode inference is another direction this research can go. In a gradual setting, we can infer as much mode information as possible and optimize the "moded" parts of the program, similar to how Julia uses types for performance.