3 comments

[ 2.8 ms ] story [ 21.1 ms ] thread
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.