Talk:Miserie

This is an interesting case of parallel language design – this is oddly reminiscent of Esimpl (I think it's a restriction of Esimpl to 0 and 1 as the only integers and one semideque that is used only as a queue, and I discuss both those restrictions in the article), but each of us designed our language before seeing the other's. This makes me more confident that both of us were onto a potentially important idea.

Queue-based Esimpl compiles pretty well into tarpits using a strategy of "represent queue elements using 0 or 1, states using even numbers, and add the state number to a value popped from the queue". The same compilation strategy would therefore work for Miserie, which means that there are probably quite a lot of tarpits that this targets easily.

My hope for Esimpl was to eventually be able to compile it both to and from a large range of esolangs, creating a universal framework to compile esolangs into each other, and you've accomplished quite a large portion of that with the DownRight compiler (as DownRight converts so well to and from tag systems – most Turing-complete esolangs can trivially embed either a tag system or a counter machine, so you've covered around half the space of esolangs with the construction). I'd expect it to be a hard problem because tag systems don't have any easy way to get their instruction-pointer-equivalent (corresponding to a location in DownRight's matrix or Miserie's state) back to a known position without deleting the entire queue (the translation is almost trivial apart from that, but keeping the IP under control is much harder), so I'm not surprised it was so difficult. --ais523 12:29, 19 September 2025 (UTC)