I remember reading about this earlier here: http://www.haskellforall.com/2014/09/morte-intermediate-language-for-super.html http://www.haskellforall.com/2014/0

I remember reading about this earlier here: http://www.haskellforall.com/2014/09/morte-intermediate-language-for-super.html http://www.haskellforall.com/2014/09/morte-intermediate-lang... http://www.haskellforall.com/2015/05/the-internet-of-code.html http://www.haskellforall.com/2015/05/the-internet-of-code.ht... This is just one piece of the puzzle in a long-term project of mine to build a typed and distributed intermediate language that we can use to share code across language boundaries. I want to give people the freedom to program in the language of their choice while still interoperating freely with other languages. Super interesting ideas, great that it's progressing beyond that initial sketch.