Just finished my article on using @rustlang's type system for safe, fast, and correct math with scientific units! http://ferrisellis.com/posts/rust-implementing-units-for-types/ …
-
-
Replying to @im_ferris @rustlang
See also https://blog.mozilla.org/research/2014/06/23/static-checking-of-units-in-servo/ …. I use the pattern in 2 dimensions (soon 3) in *ring*; see https://github.com/briansmith/ring/blob/master/src/rsa/bigint.rs#L25-L36 ….
1 reply 0 retweets 1 like -
Replying to @BRIAN_____
Very cool! Thanks for sharing. Out of curiosity, has doing multiple dimensions made you wish for higher kinded types in Rust?
1 reply 0 retweets 0 likes
Replying to @im_ferris
Because the number of units is small (in each dimension), it works fine to avoid such a level of abstraction, at least for now.
10:52 AM - 10 Mar 2017
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.