3 ms·

Ask HN: Interesting programming language concept to implement

3 points by jackling 4y ago

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!

thesuperbigfrog 4y ago
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 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 https://en.wikipedia.org/wiki/Design_by_contract
- jackling 4y ago
  Thanks for the suggestion! It was an interesting read for sure.
mikewarot 4y ago
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.com/ymte/metamine https://web.archive.org/web/20201011194337/https://github.co...
- jackling 4y ago
  Thank you the suggestion :D
  - mikewarot 4y ago
    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.youtube.com/watch?v=RvRc3c9TQ6c&gl=US&hl=en http://web.archive.org/web/20201014024057if_/https://www.you...

3 points by jackling 4y ago

thesuperbigfrog 4y ago

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 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 https://en.wikipedia.org/wiki/Design_by_contract

jackling 4y ago
Thanks for the suggestion! It was an interesting read for sure.

mikewarot 4y ago

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.com/ymte/metamine https://web.archive.org/web/20201011194337/https://github.co...

jackling 4y ago
Thank you the suggestion :D
- mikewarot 4y ago
  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.youtube.com/watch?v=RvRc3c9TQ6c&gl=US&hl=en http://web.archive.org/web/20201014024057if_/https://www.you...