The feature in OxCaml that more languages should steal

theconsensus.dev

6 pointsg0xA52A2A2 comments

Swift has `@_noAllocation`:

@_noAllocation func foo() -> Int { return [1,2,3].randomElement()! } fails with "error: Using type 'Int' can cause metadata allocation or locks"

but

@_noAllocation func foo() -> Int { return 1 + 2 + 3 }

compiles fine.

Thank you! I've made an edit crediting you. This also led me to notice the nonallocating attribute in Clang, which I've now mentioned as well.