Ask HN: Where are the unit-typed languages?

Are there any programming languages that treat, say, numbers like adjectives, as human languages do, and have units typing?

Instead of an integer being a standalone noun, "5", it would be "5 apples", or "5 meters/second". Multiplying a variable of 3 meters/second by a variable of 2 minutes could give a result of 180 meters, and adding nautical miles to dollars would give an exception. I've played around with this idea a little bit in objects, but it seems like a language with such features built in or an object library should already exist somewhere.