Re:C-for-all: Extending C with modern safety and productivit...
by ernst_klim on Wednesday December 04, 2019 @10:45AM
(#21703121)
> Surely you are kidding. If that were true, why doesn't OCaml curb-stomp C in benchmarks?
You are confusing predictability with performance. OCaml is way more predictable exactly because it generates way more straightforward code.
On the other hand, GCC could do all kind of stuff, generating any sort of assembly. It can even rewrite fairly complex math functions, simplifying them.
Parent was talking about predictable ASM, not about performant ASM.
You are confusing predictability with performance. OCaml is way more predictable exactly because it generates way more straightforward code.
On the other hand, GCC could do all kind of stuff, generating any sort of assembly. It can even rewrite fairly complex math functions, simplifying them.
Parent was talking about predictable ASM, not about performant ASM.