D is being used for autonomous driving research – Audi and Mercedes

Re:D is being used for autonomous driving research – Audi an... by mhh__ on Tuesday June 25, 2019 @01:26PM (#20276593)

It's a completely meaningless comparison in practice.

D's contract mechanism (i.e. in/out, and invariant blocks) can provide very strong guarantees to the compiler (as a specified part of the language as opposed to a GCC pragma/builtin), which the LLVM D compiler definitely uses.

All of the on by defaults that D has are usually there for a reason, i.e. floats are NaN initialized and bounds checking is on by default: These are very good idiot-proofing which can often be ignored unless profiling suggests there is a tangible issue.

[ Parent | on HN ]

Re:D is being used for autonomous driving research – Audi an... by EvenThisAcronym on Friday June 28, 2019 @01:11PM (#20306544)

> D's contract mechanism [...] can provide very strong guarantees to the compiler... which the LLVM D compiler definitely uses.

That's awesome. I didn't know LDC uses contracts like that. It'd be nice to have similar functionality across all D compilers.

[ Parent | on HN ]