We have not been debating this publicly as it has a 100% chance of devolving into a bikeshed discussion :)

Clearly there is a furious internal war between CLispers and Haskellers!

Whatever language you end up choosing, I hope it will be a memory safe one. Browsers' main purpose is to interact with the outside world, and they even have to run third party code (JS) all the time, so minimizing attack surface would go a long way I think

Yes, our next language will be a memory safe one.

pls pls pls go for one of those languages with some level of formal verification! it'd be soo cool to see a formally verified browser!

But, ladybird is one of the coolest things I saw in 2024!!!

My favorite type of discussion! Language choice would seem super important long, long term and could provide long run advantage over other engines. Given the goals and philosophy of Ladybird zig seems like a complementary choice, and headed in the same direction in terms of community and freedom. And Perhaps just a sprinkle of something more verifiable than zig on the edges where correctness and safety are super critical. Have a look into tigerbeatle (https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/TI...) and their philosophy.

I wonder if they are thinking Swift - their C++ interop is still pretty new and has a way to mature, but it’s designed for exactly this [1] (we should expect Apple to start doing it with WebKit and other big C++ projects, even perhaps LLVM).

1. https://www.youtube.com/watch?v=lgivCGdmFrw