Messages in this thread | | | From | Thomas Gleixner <> | Subject | Re: [PATCH] rust: time: New module for timekeeping functions | Date | Wed, 22 Feb 2023 01:01:56 +0100 |
| |
On Tue, Feb 21 2023 at 21:33, Heghedus Razvan wrote: > On Tuesday, February 21st, 2023 at 8:45 PM, Thomas Gleixner <tglx@linutronix.de> wrote: >> That's the same the Rust std time semantics: >> >> Duration = Instance - Instance valid >> Duration = Systemtime - SystemTime valid >> Duration = Systemtime - Instance invalid >> >> No? >> > I agree with Thomas on this one. The Rust type system is really > powerful and we should take advantage of it. Time deltas can be > enforced to be from the same clock at compile time. Just for the sake > of it, I wrote a small example on how this can be achieve: > https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=1d0f70bb5329b181f203ce7270e2957a
Cute. This code makes even sense to Rustagnostics like me.
Thanks,
tglx
| |