Hacker News Reader

Comment by faitswulff | Hacker News Reader

I think it was Steve Klabnik who said that it's basically the version of Rust with a garbage collector that people ask for. Might have been this episode of Oxide and Friends: https://oxide.computer/podcasts/oxide-and-friends/1208089

View on HN

Rust was originally described to me as “Rust and C have a baby,” so yeah I’ve been a fan of this kind of thinking for a long time.

Rust is its own father? I think the borrow checker will make this difficult.

Just need support for recursive lifetimes

Serious question: How would that work?

What do you mean by “that,” specifically? A bit hard to know what exactly you’re asking.

Recursive lifetimes. The idea of the gp.

Oh gosh, so I had seen your comment on mobile, and couldn't tell who you were replying to. I thought you were asking about "OCaml and C had a baby."

I have no idea, maybe your original parent will elaborate :)

I don’t understand the confusion. It’s all right there, on page 404 of the rust spec:

> Parameters with a recursive lifetime can only be used in a tail-call position within a function. If a function with only recursive params compiles successfully, it is guaranteed not to grow the stack.

For the self-recursive case, people are likely better off just writing the imperative version. But using these with mutual recursive calls lets you build safely build state machines that compile down to the same performant code a classic goto-based implementation would in C.

Sounds reasonable.

Lol, oops: I meant OCaml, if that wasn’t obvious.

OCaml is quite literally a parent of Rust since the original Rust compiler was written in OCaml. (I know you know that; I'm just highlighting how apt the analogy was. :)

https://github.com/rust-lang/rust/tree/ef75860a0a72f79f97216...

It was, but it was hard to resist commenting on the self-referential nature of it that Rust often has problems with.

I joke with people that F# is “easy-button Rust”, so that also tracks lol

Reply on news.ycombinator.com