John CarmackVerified account

I remember you were experimenting with Haskell a long time ago, with favorable impressions -- given Rust is in many ways a blend of C++ and Haskell, what lead you to hold out for so long?

I’m busy... It does feel like a blend of Haskell and C++, which is very appealing.

You should check out Ada! It's getting Rust-style memory safety in the very near future but it's type system has a few tricks up its sleeve that Rust's doesn't.

I'd the privilege of learning & writing in Ada for safety-critical software at a defence contractor. The design of Ada was so far ahead of its time; it focuses on programming as a human activity, w/ features designed to eliminate/mitigate certain classes of programming errors.

That was my morning too. Lovely language!

Cool cool. Let us know in 5 years whether it's 1% or 2% better than C.

Any thoughts on Golang?

I haven’t written anything in it, but I like all the ideas behind it. Slightly different target than Rust with garbage collection.

When both @ID_AA_Carmack and @bcantrill are singing something’s praises, I guess it’s time for me to take a look at #rustlang