hackertube.io

"Outperforming Imperative with Pure Functional Languages" by Richard Feldman

Strange Loop Conference · talk · Watch on YouTube

Functional programmingSoftware performance & optimizationCompilers, interpreters & program analysis

What it is

Richard Feldman explains how pure functional languages can match or beat imperative ones on performance. Compilers can turn immutable code into in-place mutation, avoiding naive copying. The talk draws on his work on the Roc language.

Why Hacker News recommends it

Recommended as the clearest explanation of why immutable data need not be slow, and as the introduction to Roc.

  • 6 people recommended it
  • 6 different months
  • 0 strong recommendations
  • first 2021, last 2025

What HN commenters said

  1. “Roc-lang, which is a functional, systems language in development uses something called opportunistic in-place mutation to do just that.”

    Creator explains opportunistic in-place mutation in functional language Roc.

    memco, 2021-11 · Recommendation · in “4x Smaller, 50x Faster”

  2. “why immutable does not necessarily mean slow and given enough attention can mean higher performance in certain cases”

    Explains why immutable data can be fast.

    niels_bom, 2021-11 · Recommendation · in “4x Smaller, 50x Faster”

  3. “I just saw nice talk by Richard Feldman [1] about it”

    Talk introducing Roc, an Elm-inspired language.

    aquadrop, 2022-02 · Recommendation · in “Haskell2020 Is Dead, but All Hope Is Not Lost (2019)”

  4. “As a starting point for those nitty grittys, this talk is probably as good as any”

    Explains how functional compilers achieve efficiency without naive copying.

    Akronymus, 2022-06 · Recommendation · in “Ask HN: Functional vs. Imperative Implementation of Algorithms”

  5. “The unique selling point of Roc is clever optimization to convert purely functional source code to deep-imperative fast machine code”

    Explains how Roc turns pure functional code into fast imperative machine code.

    yashrk, 2023-11 · Recommendation · in “Roc – A fast, friendly, functional language”

  6. “Roc Lang might interest you”

    Introduces Roc and how functional constructs become in-place mutation.

    greener_grass, 2024-10 · Recommendation · in “Serialization Is the Secret”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: roc, functional programming, immutability, compilers, in-place mutation

Also recommended by the same people