Also worth mentioning is the Units Checker [1] for Java, which uses Java 8+'s pluggable type systems feature to introduce units as intersection types. [1]: htt

Also worth mentioning is the Units Checker [1] for Java, which uses Java 8+'s pluggable type systems feature to introduce units as intersection types. [1]: https://checkerframework.org/manual/#units-checker https://checkerframework.org/manual/#units-checker