Roc Lang – Elm but for everywhere [video]

https://www.youtube.com/watch?v=s--2X0kwe4Y

by crowdhailer • 2 years ago

63 34 2 years ago

tkz13122• 2 years ago

roc is the language most rust nerds really want but don’t realise yet. functional, modern tooling, fast enough for almost everything (~ go / swift), and without the insane complexity and cognitive overhead of the borrow checker.

So excited to see it continue to thrive and grow.

tjoff2• 2 years ago

Automatic memory management seems like an antifeature if you look from a systems language perspective (rust).

And I'd argue the borrow checker reduces the cognitive overhead.

pjmlp• 2 years ago

Not when one looks it from the perspective from Xerox PARC, ETHZ, DEC/Olivetti, Microsoft Research, Apple on systems programming.

tkz13122• 2 years ago

My point is more that many rust programmers like rust because it’s an ML not because of the borrow checker. Most cli apps / web services are probably better off with a high performance managed runtime (go & swift are good examples of imperative languages that have successfully made similar tradeoffs).

There do of course exist many important use cases where a better c++ is actually what you want, and the complexity tax of that is worth paying.

hardwaregeek2• 2 years ago

Does Roc have escape hatches for mutability? That's something I value in Rust, good escape hatches from the borrow checker, so if something gets too difficult, you can just `Arc<Mutex<RefCell<T>>>` it.

eberfreitas• 2 years ago

I don't think so (could be wrong), but it does perform optimistic mutation on your functional code.

There is a talk somewhere where Richard "demos" this.

lalaithion• 2 years ago

It should be possible to have a platform that has a mutable reference with an API like this:

    main = 
        x = pf.NewRef!
        pf.Write! x 5
        y = pf.Read! x

lkhasoidyfw• 2 years ago

I'm a rust nerd and love roc, the problem is my employer won't let me use either.

fire_lake2• 2 years ago

Can someone explain where Roc sits in terms of monads vs effects?

postepowanieadm• 2 years ago

I don't have a PhD but I would say effects.

chuckadams2• 2 years ago

Firmly on the side of effects: Roc doesn’t have higher-kinded types, which makes it practically impossible to express monads. It’s covered somewhere in https://www.roc-lang.org/faq.html

mjaniczek• 2 years ago

How do you need HKTs for monads?

fourteenminutes• 2 years ago

Side effects are monadic (the main side-effectful abstraction, Task, is the continuation monad). There are no algebraic effects.

sharksandwich• 2 years ago

I admire the consideration Richard and the rest of the Roc community put into the language, but I'm curious whether the absence of macros will unavoidably lead to code like https://github.com/agu-z/roc-pg?tab=readme-ov-file#examples . It's not obvious to me that the benefits of that constraint (teachability, language tooling) outweigh the costs of writing code that probably should be automated.

That said, I may just be showing my lisp bias, and tools like Squirrel in Gleam are sufficient https://hexdocs.pm/squirrel/

Groxx• 2 years ago

Since I'm not familiar with Roc and am looking at example code that has an unknown amount of boilerplate added or removed compared to normal code...

What part of that example is bad, and the lack of macros means it stays bad? I can come up with some possibilities (e.g. response mapping), but I have no idea if they're valid or not because I don't know if that's just due to being an intentionally explicit example.

giacomocava• 2 years ago

Heard squirrel is well cool :P

bhansconnect3• 2 years ago

As a general note, the code there is an initial more exploratory api. It definitely could be simplified (solid bits of extra noise in it).

That said, it does have the fundamental issue of the query is just a string and the code author has to fundamentally deal with correctly specifying what the return type is. Technically a fancier query builder could be defined that removes the sql and instead defines both the query and return type at once to avoid the double specification.

Otherwise, something like squirrel would 100% be doable in roc. [Something similar](https://github.com/isaacvando/rtl) already exists for templating in roc via code gen.

aguzubiaga• 2 years ago

The README examples showcase the low-level API, but I've also made an experimental query builder that lets you write type-safe queries without the boilerplate. There’s a CLI that generates a Roc library from your database schema, that you can use through a DSL to build up a parametrized SQL query and decoder at once. See an example [1].

You’d be surprised at how nice you can make a DSL in Roc without any metaprogramming!

As for Squirrel, I think it’s a great approach and definitely something I might explore in the future. Right now, I'm leaning towards a DSL for better reusability, though I must admit, that actual SQL is hard to beat!

[1] https://github.com/agu-z/roc-pg/blob/62725fe3a1d92144a8408ae...

paradox460• 2 years ago

Does anyone know if roc fell down the blessed packages issue elm did? That was a major turn off to any interest I had in elm

ivanjermakov• 2 years ago

Can you elaborate on what "blessed packages issue" is?

teg4n_• 2 years ago

Elm allowed only certain packages to use some restricted apis as it was seen as a clique and rubbed people the wrong way.

jolt42• 2 years ago

I'd say Elm fixed packages. Only uses what is needed and detects API breaks.

rtfeldman2• 2 years ago

This is one of the things Roc does differently from Elm. Roc packages all work the same way, and you get them from URLs.

ProfessorPeanut• 2 years ago

Interchangeable "platforms" seems like a fantastic idea! Unfortunately there is ZERO documentation on how to develop your own. For me, personally, this is the last barrier for adaptation! Please asap! Love this project!

bhansconnect3• 2 years ago

There are some major changes to platform development that are coming (both flexibility and usability). Sadly, they have been slow to introduce. I think that is a large part of the reason the documentation doesn't exist. Right now writing a platform is a much harder process than it will be in the future. Until a certain chain of features land, I expect this to stay as bespoke knowledge that is obtain through modifying examples and asking questions on zulip.

createaccount99• 2 years ago

Does Roc lang actually do web frontend, like Elm?

crowdhailer• 2 years ago

It can do web front end. but it's not focusing on it in the way Elm does

Roc Lang – Elm but for everywhere [video]

Related Stories