Closed opain-replika closed 1 month ago
If I could, I would. instead of opening the issue.
I'm working on cleaning up issues to be a bit more manageable for me so I'm going to close this for now. That doesn't mean I don't want a Coq implementation. I would love to see it when somebody is able to submit a PR for it.
Title pretty much. Placeholder for a solution :D Why do you think mal, despite being written in all sorts of, inclufing obscure, languages still doesn't have a coq implementation?
There may be some issue in running mal in pure coq, as it was not really intended[citacion needed], and may be even counter productive as it doesn't have a "usable-ish enough" IO functionality.
Coq programs however can be exported into other languages, for example: Ocaml, R5RS, and adapted using those. The benefit of using coq for mal may be:
Even if it isn't really a project goal, I'm curious to hear your opinion.