@@ -20,10 +20,10 @@ unbounded real number ignores a fundamental property of the domain. A clinical
2020body-temperature sensor should reject a reading of $44\ \mathrm{°C}$ at the API
2121boundary, not silently pass it downstream.
2222
23- No units library — before this work — has provided a way to attach this kind of
24- constraint to a quantity point at the type level, have it enforced automatically,
25- and express different flavours (clamp, wrap, reflect, check) without any runtime
26- polymorphism .
23+ Type-level constraint enforcement for quantity points with this level of
24+ flexibility is a relatively unexplored area in mainstream physical units libraries.
25+ The approach we present here is novel and experimental — we are certain there are
26+ edge cases and design considerations we haven't yet discovered .
2727
2828This article describes the motivation in depth, the design we arrived at, and
2929the open questions we would love the community's help to answer.
@@ -475,9 +475,10 @@ measurement range, or bounding a _duration_ to a maximum scheduling window?
475475
476476## We Want Your Feedback
477477
478- This feature is new in the units-library space. ** No prior library that we
479- know of provides this capability.** We have tried to make the design principled
480- and composable, but there are certainly use cases we have not thought of.
478+ This feature is novel in the units-library space. No prior mainstream library
479+ that we know of provides this capability, so the solution is not yet proven in
480+ production. We have tried to make the design principled and composable, but
481+ there are certainly use cases we have not thought of.
481482
482483If you work with geodetic coordinates, sensor data pipelines, game physics,
483484audio DSP, or any domain where your quantity points live in a bounded or periodic
0 commit comments