Ask HN: Interesting programming language concept to implement | Hacker News Reader

Ask HN: Interesting programming language concept to implement

3 pointsjackling5 comments

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!

View on HN

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...

Thank you the suggestion :D

Here's a video (with not so great audio) that shows the declarative and imperative styles being used. Not much about the details, of each though, sadly.

http://web.archive.org/web/20201014024057if_/https://www.you...

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

Thanks for the suggestion! It was an interesting read for sure.

Reply on news.ycombinator.com