I think more systematic testing. It seems the AI is pretty good at generating tests and validating them, so really filling out the places where testing is weak. I think we could do a lot more tests for each compiler pass. For example, I think getting the AI to generate tons of programs and validate that the types the compiler infers on each variable are what we expect them to be.
Sharing my experience of writing a full optimizing compiler for Darklang, using Claude Code, over the holidays.
Would love to hear from more experienced folks (on either AI or compiler-side) over what could be done better.
> I would say it is still much less than production quality, but it feels on its way.
How do you propose to complete it?
I think more systematic testing. It seems the AI is pretty good at generating tests and validating them, so really filling out the places where testing is weak. I think we could do a lot more tests for each compiler pass. For example, I think getting the AI to generate tons of programs and validate that the types the compiler infers on each variable are what we expect them to be.