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.
The technique he uses to represent data structures is lambda is called a "Church Encoding" (look it up online). A nice paper on how that may be used even in more common imperative languages: https://www.cs.utexas.edu/~wcook/Drafts/2012/ecoop2012.pdf (here it's called "Object Algebra).
http://www.haskellforall.com/2014/09/morte-intermediate-lang...
http://www.haskellforall.com/2015/05/the-internet-of-code.ht...
Super interesting ideas, great that it's progressing beyond that initial sketch.