Hacker News Reader

Comment by wwwwwwwweb | Hacker News Reader

> we have almost half a million lines of modern C++ to maintain. ...We are actively evaluating a number of alternatives and will be adding a mature successor language to the project in the near future. This process is already quite far along, and prototypes exist in multiple languages.

What languages have prototypes and where can I learn more?

View on HN

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

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!!!

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

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

Reply on news.ycombinator.com