Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
loeg
19 days ago
|
parent
|
context
|
favorite
| on:
What would it take to add refinement types to Rust...
> This is automatically canonicalised and much easier to manipulate than a tree of operations.
As long as the vector is sorted by unit, yeah. With that caveat, it's the same idea.
jiggawatts
19 days ago
|
next
[–]
It’s a positional system with the same basic measurement units always at the same index locations.
adgjlsfhk1
18 days ago
|
prev
[–]
there are 7 si units, and you can represent all the powers you need in 8 bits, so you can pack every reasonable SI unit in 64 bits
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
As long as the vector is sorted by unit, yeah. With that caveat, it's the same idea.