"Outperforming Imperative with Pure Functional Languages" by Richard Feldman

We already have many great GC'd functional languages at that performance level. I first learned about Roc from this talk: ▶ this video That's a niche that is not currently filled (well, maybe MLTon) and that has me very excited! I'm sure I'm not alone here.

in “Roc rewrites the compiler in Zig” · View on HN

1. Structural sharing - most data doesn't change so you create a copy that reuses much of the original structure 2. Garbage collection and lexical scopes - you clean up memory quickly and in batch 3. Compiler optimizations - you turn functional constructs into imperative ones that reuse and mutate memory at compile-time, where it is provably safe to do so Roc Lang might interest you: ▶ this video

in “Serialization Is the Secret” · View on HN

If you are interested, «why yet another programming language?». The unique selling point of Roc is clever optimization to convert purely functional source code to deep-imperative fast machine code, while keeping all the correctness of functional algorithms. See this video of Richard Feldman for details — «Outperforming Imperative with Pure Functional Languages»: ▶ this video Among those clever optimizations: - static reference counting (no GC, like in Rust, but with no borrowing and borrow problems); - stack allocation of the data with no external links; - hidden («opportunistic») mutability even in the cases, where Haskell or Lisp will copy the value.

in “Roc – A fast, friendly, functional language” · View on HN

> Functional programming experts say that their code is efficient because the compiler translates it to an efficient representation on the CPU. They have TCO and other things. But they don't mutate data and hence every function call creates a new data in memory taking up space. How do they overcome that? By letting the compiler make assumptions. For example, consecutive map calls can be converted into a single one. If the data isn't shared with something else, the compiler can mutate it. MUCH easier to paralellize maps. As a starting point for those nitty grittys, this talk is probably as good as any ▶ this video

in “Ask HN: Functional vs. Imperative Implementation of Algorithms” · View on HN

Maybe [link] ? It's not production ready, I just saw nice talk by Richard Feldman [1] about it and it's inspired by Elm. [1] ▶ this video

in “Haskell2020 Is Dead, but All Hope Is Not Lost (2019)” · View on HN

> How would one optimize for immutability in this case, other than turning it back into mutability behind the scenes? Roc-lang, which is a functional, systems language in development uses something called opportunistic in-place mutation to do just that. Here's a video where the creator talks about it: ▶ this video

in “4x Smaller, 50x Faster” · View on HN