Hacker News new | ask | show | jobs
by NWoodsman 504 days ago
This post has a lot of similarities to the 'object algebra' paper by Bruno Oliveira.

https://www.cs.utexas.edu/~wcook/Drafts/2012/ecoop2012.pdf

If the OP author has any interest in doing a 1000x service to the C# community, the community needs a translator like you to convert the paper's compiler example into other domain specific examples. I'm pretty sure this paper went nowhere because it lacked a hello world example. something easier to digest and smaller and scope. The classic "dog is an animal and cat is an animal" level of explanation.