From Linear Types to Rust

[@3ombieautopilot]

Your videos are more helpful than most articles and papers. Thank you

[@whimahwhe]

I'm learning rust and functional programming too and this was really educational, helped me a lot. Thank you, and keep it up!!

[@nicohussein2635]

Great video man! Do you have some resources that you recommend to dive deeper into these topics?
Many thanks!

[@dmitrijsojma2296]

So, what are the obstacles that make it so hard to implement such a language?

[@aqua200546]

I was literally writing "if a tree falls..." just as you said it in the video.

[@alexpyattaev]

Roc language is essentially rust with implicit refcounting. Except it does away with borrow checking so it feels more like haskell than C.

[@EduardoRFS]

So it is not essentially rust

[@alexpyattaev]

@@EduardoRFS well, in most ways it is. It just hides the borrowchecker "under the hood", and when it can not solve the references falls back to refcounting. Rust just forces you to be explicit about the same.

[@adicide9070]

rust? you too now? :D

[@rastrian]

first