Dada, an Experiement by the Creators of Rust

Re:Dada, an Experiement by the Creators of Rust by umanwizard on Wednesday March 06, 2024 @07:31AM (#39615219)

I’m assuming by rust’s type system they mean without lifetimes. In which case it’s existed in lots of GC languages (OCaml, Haskell) but no mainstream ones. It isn’t really related to needing a GC or not.

[ Parent | on HN ]

Re:Dada, an Experiement by the Creators of Rust by gpderetta on Wednesday March 06, 2024 @08:00AM (#39615473)

You still want RAII and unique references, but rely on GC for anything shared, as if you had a builtin refererence counted pointer.

I do also believe this might be a sweet spot for a language, but the details might be hard to reconcile.

[ Parent | on HN ]

Re:Dada, an Experiement by the Creators of Rust by umanwizard on Wednesday March 06, 2024 @09:40AM (#39616416)

I haven’t used Swift so I might be totally wrong but doesn’t it work sort of like you describe? Though perhaps with ARC instead of true GC, if it followed in the footsteps of Objective-C.

[ Parent | on HN ]

Re:Dada, an Experiement by the Creators of Rust by gpderetta on Wednesday March 06, 2024 @10:59AM (#39617304)

Possibly, yes. I haven't used swift either though. Does it have linear/affine types?

Edit: I would also prefer shared nothing parallelism by default so the GC can stay purely single threaded.

[ Parent | on HN ]

Re:Dada, an Experiement by the Creators of Rust by dartos on Wednesday March 06, 2024 @10:42AM (#39617113)

Without lifetimes, Pins, Boxes, Clone, Copy, and Rc (Rc as part of the type itself, at least)

[ Parent | on HN ]