Ranged integers for performance

[scottmcm]

Can you elaborate on how this thread is different from your previous ones, like these?

Two subsets of types

One of the two or three things I think are missing in Rust (that is, ways to formally prove some code is panic-free, or it's even functionally correct) is actively being worked on by multiple persons/groups, so I think we'll eventually have (various versions of) it. But even if we eventually build ways to formally prove some aspects of the (Rust) code correct, this doesn't make it useless to have less powerful ways to assure some aspects of your code are correct. This because formally proving t…

Array indexes strong typing

Hello, this ilog function computes the integer logarithm in base 10, I have adapted it from Hacker's Delight: #![feature(core_intrinsics)] #![feature(nonzero_leading_trailing_zeros)] use std::num::NonZeroU32; use std::intrinsics::assume; use std::convert::TryFrom; #[cfg(not(debug_assertions))] macro_rules! to { ($e:expr, $t:ident) => (($e) as $t) } #[cfg(debug_assertions)] macro_rules! to { ($e:expr, $t:ident) => ($t::try_from($e).unwrap()) } fn ilog(x: u32) -> Option<u32> { const TABLE…