Introduction to Roc Programming Language by Richard Feldman

[@rosscousens6263]

Richard Feldman is such an engaging and captivating presenter. He comes across as congenial and curious and it's always a pleasure to watch his talks. Really rooting for roc and I can see it's getting to a point where I could start using it myself!

[@BlowaterNostr]

Roc has matured a lot since last time I watched Richard's talk. Will give it a try!

[@edbrito-swdev]

I'm very excited to watch this through. Roc, along with Zig, is one of the newer programming languages that's grabbing my attention!

[@ssmith5048]

zig is hardly new.... but yet still not stable.

[@valerysmirnov9535]

Sounds like mixture of OCaml and Nim with a platforms feature. Sounds great

[@godDIEmanLIVE]

Nim mentioned.

[@arnemartt]

Wonderful talk, Richard is always on point, super engaging and insightful. Gotta turn off copilot though 😅

[@rtfeldman]

Personally I usually have it turned off, but a lot of people ask me what the experience is like when Copilot encounters a language that isn't in its corpus, so I wanted to include that in the demo. 😄

[@arnemartt]

@@rtfeldman Hey, you're here! I've been following the development of Roc for a while and watched several of your talks, I love the language and I love your style and voice. Can't wait to see where Roc goes next 🙌

[@rtfeldman]

Thanks, appreciate it! I also don't usually read KZbin comments, but sometimes people point them out to me 😆

[@RobertLJ11]

Thanks for the talk and demo..😀 I'm looking forward to trying out the language.

[@fluffyunicorn7155]

It will be interesting to see the governance model for this language. I have used Elm in the past. Richard was also part of the Elm team. Elm is “public source” and not open source. You can not meaningfully contribute to the language if you are not part of the team. It is also the only language I know where FFI can only be used by packages that the language authors write. I will not use any language that has not reached 1.0 yet if I’m not comfortable that I can fix the bugs in the language that I run into.

[@clo4]

Roc is very much true open source. The largest contributor isn’t even Richard anymore, and there are loads of people that have made very meaningful contributions.

[@viniciusataidedealbuquerqu2837]

I wasn't expecting this version of the language to be so good. the ! operator is beautiful

[@laughingvampire7555]

I have to admit, I love ML syntax, it looks so much cleaner to me than other languages, some people prefer the English looking stuff but for programming languages English looking stuff is sub-optimal for my taste. I still prefer S-expressions syntax. people don't understand how to code with Dynamic languages. the main mistake they make is to focus only on types, also if your reference as dynamic language is Python or Ruby then you are lost. Your reference should by Common Lisp & Smalltalk & Erlang, those are the real dynamic languages, Ruby & Python follow the same static philosophy of UNIX, even som lisps like Scheme & Emacs lisp & some smalltalks like GNU Smalltalk follow the static nature. Common Lisp & Squeak Smalltalk are the standard for Dynamic languages.

[@c4tubo]

Wow, that's big news about you joining Zed. Grats for that. Looks like Roc is ready for someone (probably me) to implement Bye Bye Hello World.

[@tlacmen]

Would it be possible to use Roc as a scripting language in a game? Writing a custom platform to provide all interactions with the game. And have it safely run on players pc?

[@KyleSmithNH]

I would think so - it can compile to webassembly so there's at least an intention for the output artifact to be variable (and based on the platform?). Or do you mean people would write Roc _in_ the game? The REPL on their website means they've managed to embed the language and runtime, so you could too (not that it would be easy, haha).

[@svenvancaem360]

Yeah totally! Last I checked, someone in the Roc Zulip chat was working on exactly that already!

[@ukasztrojanowski3149]

Oh, wow. A couple months ago I was thinking about how it would be possible to write extensible software without compromising on security, the idea of platforms is super interesting, and could be this languages killer feature

[@JT-mr3db]

Very interesting. If I’m not mistaken, different platforms could have completely different implementations of Stdin and Stdout?

[@СергейМакеев-ж2н]

Different platforms could have completely different APIs, or different implementations of the same APIs. Or they can have their own constraints on the Main that you're supposed to export (e.g. list of errors allowed on the top level, which the platform will then process).

[@Rene-tu3fc]

haskell + rust + typescript. very interesting

[@web3tel]

It is amazing, looks like a dream came true.

[@СергейГалиуллин-п9ю]

Give us the BEAM and Roc will become the ultimate overlord 3000 language of all the predictable futures

[@WiecejNoxiego]

Maybe there could be some BEAM platform for Roc? I personally appreciate that it doesn't run (or doesn't have to run) on VM.

[@СергейГалиуллин-п9ю]

@@WiecejNoxiego sure, that's the best way indeed. Imagine web servers written in ROC, both front and back ends, running on BEAM, type safe, no runtime errors etc etc.

[@WiecejNoxiego]

@@СергейГалиуллин-п9ю I didn't explore ROC much yet (still waiting for it to mature a bit), but personally I'd be more interested in if it's possible to create platform for creating web servers with OpenAPI out of the box. It'll definitely be interesting to see how much features platforms can abstract from applications. Beam is nice, but it's probably overkill for most web servers and you probably take big performance hit for all its' features.

[@nutelhere]

the anonymous tagged union is the breakthough

[@thepatzer]

A bit like Gleam without the BEAM?

[@verified_tinker1818]

Looks as different from Gleam as it is from Rust.

[@kaansouth8789]

This language is so cool!

[@yurtle1851]

🔥

[@MorganEarlJones]

it's unusual to follow along with a video where the person live coding is using 1 release ahead of what the github pushes for every package lol I guess this video will stay relevant for longer that way though

[@zcizzorhandz5567]

I'm tired of the hobby languages, what problem is Roc solving specifically? If there's no specific problem it solves it's a waste of time.

[@DavidAguileraMoncusi]

What about "making prototyping type safe"?