[_delirium]

Previous discussion, from about a year and a half ago: https://news.ycombinator.com/item?id=11192542

And a paper (2013) giving some details and explaining their motivations: http://ecem.ece.ubc.ca/%7Ecpetersen/lambdanative_icfp13.pdf

[dmix]

The phone apps look like they are from 2013. That explains a lot.

Thanks for the links.