News for hackers. Stuff that matters.

A comment on C-for-all: Extending C with modern safety and productivity features. Parent comment

Re:C-for-all: Extending C with modern safety and productivit... by atilaneves on Wednesday December 04, 2019 @07:12AM (#21701505)
> Surely you are kidding. If that were true, why doesn't OCaml curb-stomp C in benchmarks?

Exactly because nobody (except backend writers) can predict what C compiler backends emit, especially when abusing undefined behaviour.

[ Parent | on HN ]
Re:C-for-all: Extending C with modern safety and productivit... by madmax96 on Wednesday December 04, 2019 @07:23AM (#21701560)
OCaml: https://godbolt.org/z/8bWDXy C: https://godbolt.org/z/WAjsvk

I've never actually looked at the output of an OCaml compiler, I have to say I'm surprised by how clean it is. But I wouldn't call it more predictable than that C's output.

[ Parent | on HN ]
Re:C-for-all: Extending C with modern safety and productivit... by ernst_klim on Wednesday December 04, 2019 @10:46AM (#21703128)
>C

You forgot about -O2/3.

[ Parent | on HN ]