Rust With GC??!? Ocaml's new Features

Recorded live on twitch, GET IN

MY MAIN YT CHANNEL: Has well edited engineering videos

Discord

Hey I am sponsored by Turso, an edge database. I think they are pretty neet. Give them a try for free and if you want you can get a decent amount off (the free tier is the best (better than planetscale or any other))

[billybest]

Funny that you joke about being an educational channel. I been noticing lately I get a lot of useful nuggets from watching more casual videos on about programming. I never know what I am going to find but when you do find it. Its like you knew that's what you needed to find and can immediately put it to practice.

[scosminv]

I love how OCaml gets inspiration from Rust after Rust got inspiration from OCaml :). I can now see how OCaml has some unique advantages over F#.
Thanks for your continued focus on OCaml, guys!

[jackdeespadas]

If Prime and TJ would kiss in the mouth their facial hair wouldn't touch. It's like they complete each other, and a van dyke (beard.)

[simonfarre]

I love OCaml-users who think OCaml has more industry adoption than Haskell, its cute really. Especially since it only requires a 15 second google to find out that the financial industry has an order of magnitude more adoption of Haskell. Which is hilarious in and of itself, because that means that 10 companies use Haskell. Rust, which hasn't even been around half as long as either, has more adoption. That's a sad state of affairs. 😅

[Tomyb]

Haskell has (experimental) support for linear types, though they are not the same as the affine types of Rust.
Hopefully one day linear types in haskell will be extended to affine types. Once you have linear types, affine types shouldn't be too much extra work (as far as I understand)

Not to mention that a lot of these things can also be done in haskell with indexed monads, like making sure a file descriptor is closed before you finish or leave a computation.
You can also do internal mutability with the ST monad, etc.

[jeremycoleman]

wasn't rust originally written in ocaml?

[SyamaMishra]

I'd love a video comparing writing a program in rust with and without cloning.

[stysner]

11:06 isn't that the point of implicit Copy in Rust though?! Where if it's trivial to copy it'll just do that? To me the whole point is that in Rust you might need to be verbose all the time, but if too much stuff is opt-in someone is bound to mess it up and you're left with the same problems again.

[saymehname]

Wow you know I’m only a little interested in rust but I’ve always wanted to try a taste of the functional koolaid. I think I will join you for Advent of Code this year in OCaml

[akirakosaintjust]

So what's more complicated: explicit borrowing and explicit lifetimes, or a hundred modifiers? It's a tradeoff I guess but now I appreciate Rust more. Also: F# is awesome and they should incorporate some of the new OCaml stuff.

[replikvltyoutube]

Firstly OCaml for AOC2023 FTW!
This is a healthy language competition, just like antimonopoly in business, both are learning from each other and evolve to higher level. Which, the OCaml wasn't that low level to begin with.

Are they both eventually going to evolve into Haskell? 😂

[twenty-fifth]

*pets the Prime’s OCaml* 🐫

“Wow, thats a good camel right there. It takes a function like no problem! Thats a good camel right there!” 😻

[aoeuable]

Now things are coming full circle, rust's memory management is based on research on region-based memory management that was done as a ML dialect, back in 1995.

[redcrafterlppa]

1:00 I don't really get what people are talking about. I literally never use clone and I don't see how it would help in many situations. A &mut is all you need 90% the time anyway.

[matetheg]

"It runs and maybe like someone makes money off of it" 🔥

[homelessrobot]

you guys talk about 'running' programs being some niche thing to haskell programmers... I have it on good authority that there is a subsect of hasklnauts that don't care about compilation at all beyond type checking. If it typechecks, some angel gets a bonus and stock options. Linting would probably get them 99% of the way to completion.

[NicOesterby]

So it's like a local opt-in to Rust's safety features. Interesting. Though, as far as I can tell, you still get some function coloring. If you make a function parameter unique, then you might have to track down all calls to the function and ensure the uniqueness of the argument, potentially making more parameters unique or exclusive. If they manage to infer these modes, though, it's gonna be huge.

[el_carbonara]

jane st interns make me feel so worthless and insignificant

[TakinProfit]

When I see this type of stuff, I wonder why F# is never mentioned?

[ruanpingshan]

It's not just OCaml, even the new wannabe Python superset called Mojo is implementing Rust-like ownership. I don't know who in the Python community would actually want that.