Ixion's core idea is built on a type system and optimizations. Sometimes, code-generation bugs can take up time that could be spent on more important aspects of the language. Since we don't have a large community to delegate responsibility to, I propose implementing a stable but simpler code-generation in a higher-level language. Java would be ideal; although it's a layer between Ixion and JVM, it would allow us to focus on the really important stuff. Some languages, like frege, do this: https://github.com/Frege/frege
Ixion's core idea is built on a type system and optimizations. Sometimes, code-generation bugs can take up time that could be spent on more important aspects of the language. Since we don't have a large community to delegate responsibility to, I propose implementing a stable but simpler code-generation in a higher-level language. Java would be ideal; although it's a layer between Ixion and JVM, it would allow us to focus on the really important stuff. Some languages, like frege, do this: https://github.com/Frege/frege