-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
The Odin team are working to put valgrind, helgrind, callgrind, memcheck, etc in to the Odin core library to provide better debugging tools! Along with many other debugging tools.
https://github.com/odin-lang/Odin/tree/master/core/sys/valgr...
That's a reasonable choice and I do agree it has nice properties, for example (a << b) << c is equal to a << (b + c) (unless that latter addition overflows), but it also does put you pretty firmly in the category of "not squeezing out every last cycle like you can in C." Usually that's one of the the things people expect in a tradeoff involving safety.
Regarding "never," I am an adventurous programmer[1], so am fully willing to accept that I am the exception that proves the rule.
On the more general point of UB for arithmetic overflow, I think we're on the same side: this is a pretty broken story in the way C has ended up, and one of the clear motivations for a cleaned up better-than-C language. I'm more interested in your thoughts on data races, where I suspect we have a substantive difference in perspective.
[1]: https://github.com/linebender/kurbo/blob/de52170e084cf658a2a...
Related posts
-
babel tree
-
"Odin is a general-purpose programming language with distinct typing built for high performance, modern systems and data-oriented programming."
-
Can't decide what engine/library/framework I want to master
-
Download Odin and get started today! Includes binding to popular video game libraries
-
Check this odin file out for a demo of many of the language's features. It comes with the compiler inside the examples folder. I refer to it all the time when I need to figure out how to do something.