Conversation

Yeah, I've thought about this a lot with Rust. Rust abstractions are basically all functions and you really need to inline them, but debug builds don't inline. I've wondered whether doing some amount of inlining + GVN in MIR in debug builds can solve this dilemma.

Quote Tweet

Sean Middleditch

@seanmiddleditch

· Feb 13

Anyway, the problem many of us complain about with C++ isn't a fundamental problem of modern languages. It's not even _really_ about library-based abstractoins! It's that C++ only offers runtime-oriented tools like functions for implementing compile-time abstractions.

Show this thread

Patrick Walton

@pcwalton

Feb 14

In fact, I'd go so far as to say that getting reasonable performance out of debug builds is a majorly uninvested area. A lot of the draw of languages like Go is reasonable debug mode performance. Problem is, it's hard to measure debug mode optzns ROI, compared to release mode.

Brendan Zabarauskas

@brendanzab

Feb 14

Scala 3's `inline` keyword is an interesting lightweight, type-safe approach to guaranteed compile-time inlining: docs.scala-lang.org/scala3/guides/ Not sure if it would help here though, and I'd imagine it's tricky to know ahead of time what to mark as `inline` or not?

I don't think manually marking things as inline-always is a scalable solution.

Brendan Zabarauskas

@brendanzab

Replying to

@pcwalton

Yeah, agreed :(

11:24 PM · Feb 14, 2022Twitter Web App

Replying to

and

I think I was more responding to the mention of macros and guaranteed inlining of functions and parameters in the original thread, but yeah, you're right that it doesn't really address the more general case.