Guest post: Final Encoding in RPython Interpreters #146
Conversation
|
Take this with a grain of salt, I was not part of the IRC discussion. I think some additional context would be nice. You launch right into the interpreter without describing the problem you want to solve or who might be interested to read the post. Also you can mention "to find more uses of rpython, check out https://github.com/rpypkgs/rpypkgs" or so. |
Please just add both of these to the post! Both make perfect sense, and we don't have a fixed format for guest blog posts or anything anyway. |
Sorry about this! It's not my word, but Oleg Kiselyov's word; he finds it to be a nice way to talk about the "syntactic signature of a semantic domain", that sort of thing. I personally prefer "domain" but whatever.
I think I got everything. Thanks for reading!
|
Bump incoming. Thanks for feedback! I addressed everything, added a couple more links, and also fixed the spell-checker. I'm adding a link to this cleaned IRC log which contains me and Armin; I don't mind sharing this but Armin can always choose to remove it. There really isn't that much context: I was contemplating adding JSON output to another part of my Cammy interpreter, had some desires for generalizing that work, and realized that I could concretely test out one architectural idea on a small interpreter. |
As discussed on IRC, here's my adventures in transforming a Brainfuck interpreter to use final encoding. I'm enabling edits by maintainers so that y'all can revise and merge it.
If I get to have a thanks, I'd like to thank Armin for the idea, larstiq for pushing me to write it up, and CF Bolz for pointing out a formatting mistake. Also thank you, reviewer.
If I get to have a shoutout, I'd like to mention that rpypkgs is always open to contributions and that you can run this interpreter directly from the command line as
github:rpypkgs/rpypkgs#bfif you have Nix installed and flakes enabled. Here's Mandelbrot: