Comment by thesz

Nice to see a pretty advanced language at frontpage of HN!

From what I understand, GRIN does some parts of supercompilation [1] during optimization process. Supercompilation can prove equivalence of functional programs [2] modulo termination. So you can have something interesting and useful in almost no time. ;)

  [1] https://themonadreader.wordpress.com/wp-content/uploads/2014/04/super-final.pdf
  [2] https://www.researchgate.net/publication/225252220_Proving_the_Equivalence_of_Higher-Order_Terms_by_Means_of_Supercompilation

It appears that Fuse does not have user-defined operators. Am I right? If so, it is a major obstacle in creating embedded languages.