Thanks Robin! Just played with Lamdu. Really neat! Thanks for the link.
I only fear that without the tight feedback loop of compiler diagnostics, the data recorded by humans would get too free-form to be interpretable by machines later.
This is a good question. We will see! Currently running experiments in the field. The good news is you can teach someone this "language" very quickly, since there are only a few rules. In the future, you could imagine a world with lots of innovative examples for providing "compiler feedback" IRL, perhaps through specially printed paper, or via projections or real time OCR, etc.
Thanks Robin! Just played with Lamdu. Really neat! Thanks for the link.
This is a good question. We will see! Currently running experiments in the field. The good news is you can teach someone this "language" very quickly, since there are only a few rules. In the future, you could imagine a world with lots of innovative examples for providing "compiler feedback" IRL, perhaps through specially printed paper, or via projections or real time OCR, etc.
I would love OCR and projections.