If the hypothesis is correct, it sets an incredibly high bar for starting a new programming language today. Not only does one need to develop compiler, runtime, libraries, and IDE support (which is a tall order by itself), but one must also provide enough data for LLMs to be trained on, or even provide a custom fine-tuned snapshot of one of the open models for the new language.
I see that difference in llm generated code when switching languages. Generated rust code has a much higher quality than python code for example.
github here: https://github.com/fdietze/ravioli
prototype deployed here: https://raviolio.web.app/
Java has memory safety and near native performance, the only thing going on for Rust is fearless concurrency which is a USP I think but not enough for me to bother learning its complicated syntax. Had I been unbelievably productive in that language, that would have sealed the deal completely. But alas.
Once we realize that what we actually want is turning specifications into software, I think that English will become the base for a new, high level specification language.
I'm curious if anyone has any thoughts, what would a social media built for nuanced, meaningful interaction look like? Could there be such a thing?
The magic of protocol/records is that they work across library boundaries. A library may provide a record - and then you can extend the record with new protocols. Key is that it's all without needing to explicitly creating new agglomeration types.
You can take some Dog record from some pet-simulation library and then `extend-type` it with the IPageObject protocol and make the Dog record now something that can be displayed on a webpage