Как работают единицы измерения F #?

Question

У кого-нибудь был шанс разобраться, как работают F # единицы измерения ? Является ли это просто chicanery на основе типов, или есть скрытые типы CLR, которые (потенциально) могут быть использованы из других языков .net? Будет ли он работать для какой-либо числовой единицы или он ограничен значениями с плавающей запятой (что используют все примеры)?

Answer 1

Лучшее (и я думаю официальное) место, чтобы узнать об этом, в блоге Эндрю Кеннеди.

Вот (текущие) соответствующие сообщения.

• Единицы измерения в F #: часть первая, вводные единицы
• Единицы измерения в F #: Часть вторая, Перевод единиц
• Единицы измерения в F #: Часть третья, Универсальные единицы
• Единицы измерения в F #: часть четвертая, параметризованные типы

Как я сказал в посте, на который ссылался ваш ответчик, это совершенно определенно то, что вы НЕ МОЖЕТЕ сделать в C # (хотя я бы хотел, чтобы вы могли).

Answer 2

Согласно ответу на следующее связанное сообщение в блоге, они являются чисто статическим механизмом в компиляторе F #. Таким образом, нет CLR представления данных единиц.

Не совсем ясно, работает ли он в настоящее время с не плавающими типами, но с точки зрения системы типов это теоретически возможно.