Interesting programming language concept to implement

Question

My Programming Languages and Interpreters requires students to find a research paper published in ACM or IEEE that details a programming language concept, and implement it. The task should take 10-20 hours to implement.I'm having trouble picking a paper to implement. All the papers I found so far seem too difficult for me to understand, or not interesting. Any ideas on an interesting paper to implement? I did look into probabilistic programming, which seems interesting.The paper is to be implemented in Haskell if that matters. Thanks!

mikewarot · Accepted Answer

I doubt there is an official paper to be found to go with it, but one of the most intriguing things I've seen in the past few years was metamine - which has been pulled from the internet, except for bits you can find at archive.org
The main thing about it of value is that it managed to coherently mix imperative and declarative programming models
a variable acted like normal, but a result (for lack of a better term) was always updated it the inputs to the function changed
this had interesting uses as the clock was one thing you could use to feed your results with
https://web.archive.org/web/20201011194337/https://github.co...

thesuperbigfrog · Answer

I am not familiar with Haskell, so this idea may or may not be applicable:
"Design by Contract"
http://se.ethz.ch/~meyer/publications/computer/contract.pdf
It was created by Bertrand Meyer originally for the Eiffel programming language.
More / related papers in Wikipedia "External Links" section:
https://en.wikipedia.org/wiki/Design_by_contract