I don’t know if I saw this here but, here’s a new programming language, called Roc
Reminds me a bit of Elm and thus Haskell. I’m not so surprised as it’s a talk made by Richard Feldman.
I really like this guy’s talks, especially ones about why FP is not the norm and from RoR to Haskell.
I’m not actually seeing what it brings over OCaml yet based on that video. A lot of the language is almost identical to OCaml, even Tags in it are just Polymorphic Variants (except the presenter doesn’t seem to show tag constraints, meaning it’s a very restricted list of capabilities compared to what polymorphic variants can do). I’m not seeing what it brings over OCaml at all based on that video… Backpassing is also odd, OCaml did that completely via libraries as well (with even more simple syntax, no weird arrow thing, and yes OCaml’s does the same “lambda flip” that the roc backpassing one does via its let(%) keyword, etc…). It also seems to be missing a vast amount of optimizations that ocaml has as well, let flattening single arg lambdas into multi-arg calls (which gives you ‘free’ currying in most cases or just a single function call in others), so it constrains you into not allowing you to build function lambdas cleanly.
And worst of all, it doesn’t appear to be an open source development… o.O
Either that or I just can’t seem to find a repository via google, which would definitely hamper its OSS visibility…
Plus there’s some… odd design decisions of what’s shown about the standard library, like writing to stdout is infallible… which is absolutely not true… o.O
But yeah, I’m not a fan of these languages from these specific authors that keep coming out saying it has all this new cool stuff that’s just rehashing of what OCaml and Haskell (usually just OCaml) has already done, it’s really weird and really really disingenuous especially with how often this seems to keep happening with these same authors over the past many years…
I’ve understood throughout the forum that you’re a huge OCaml fan!
You’re right there’s nothing. And to answer the question about the fact that it’s published, I guess it’s still in its early stage, but why would you do a talk about it, and give a link to the website if there’s no repo? Didn’t think of that tbh.
Makes me think of ReasonML.
Besides, which book would you recommend me to learn OCaml? I’m really eager to try an ML language.
I quite like OCaml, other than how extremely slowly it moves, and maybe a couple of design decisions in it, lol.
Early or not the source should still be somewhere if it exists at all. Without having the source we can’t even assume that the examples in the video were actually real and not just part of the powerpoint presentation…
The online books are quite good, I’m unsure what physical books to suggest, even the classes we’ve had here for OCaml just used the online references (OCaml has a pretty good documentation ecosystem, not as good as like Rust (but few things are), but still quite good).
OCaml is truly a fantastic language to learn in, it’s like as succinct as Python, as fast as C, and as safe as, well, any other very strongly typed language (if you ignore Obj.magic, which is the OCaml version of the Rust’s unsafe keyword, which you definitely shouldn’t touch either unless you very very very well know what you are doing).
EDIT: And yes, Roc definitely looks like it could just be a frontend to the OCaml language, except it’s not, what I could find out about it online makes it look like it’s either going to be made or at least partly made now in Rust, not that I could find any code for it.
but that said, the world does not need any more love songs or sunset photos and yet we keep on…
I’ve seen multiple Roc videos (one from ETE and that linked one). Richard is a fantastic teacher and presenter. I have a lot of respect for him and his work. I think there are some interesting ideas about platforms, security and the developer code editing experience inside of Roc. I have no plans to really invest in learning Roc for production concerns atm but enjoy seeing the project progress.