Каковы стратегии поддержки / интеграции единиц измерений на языках?

Я задаюсь вопросом с чисто точка зрения языка, какой «функции» (семантически и синтаксически) требуют «внедрение» единиц Si.

Какая «функциональность», как правило, ожидается, если кто-то утверждает, что язык имеет большую поддержку единиц измерений?

• Просто что-то вроде особых литералов или синтаксический сахар?
• Специальные конвенции, которые делают единицы типа (но без дорогостоящей среды Упаковка)?
• Специальный математический режим для вычислений с фракциями?
• Автоматические преобразования и принуждение между единицами?

, например F # F # имеет встроенную поддержку единиц измерений на языке. Как он улучшится над е. грамм. Библиотека для Java?

Какие функции должны быть встроены на языки для улучшения использования единиц? Какие функции не обязательно связаны с единицами измерения, но приносят пользующую пользующуюся?