Ну вот и следующий билд библиотеки подоспел: Oyster.Units.0.04.zip (собирать на Nemerle версии r6192, не ниже).

В этом билде разработчики языка исправили кое-какие баги, поэтому код библиотеки тоже был исправлен местами. Но самое главное, конечно, не это. Самое главное то, что этот билд добавляет возможность работы с физическими литералами, о которых в этом топике уже писали. В общем, теперь можно писать код вроде такого:

def m3 = 1 g;
def m4 = Si.Mass(m1);

WriteLine($"Mass in SI: $m4, in CGS: $m3");

def x1 = Si.Area(1 cm * 10 m);

WriteLine($"Area of 1 cm * 10 m = $x1 m")

1 g, 1 cm и 10 m из примера выше — это как раз физические литералы. Задаются они непосредственно в DSL вот таким вот образом:

basisUnits (Si)
(
    Mass[ kg ],
    Length[ m ],
    Time[ sec ],
    Temperature[ K ],
    CurrentStrength[ A ],
    LightIntensity,
    QuantityOfSubstance
)

Т.е. после любого имени юнита можно указать имя литерала в квадратных скобках (уникальное в пределах данного описания). При этом в библиотеку, в которой находится описание юнитов, будет скомпилирован соответствующий макро-оператор, доступный при подключении пространства имён Oyster.Units.Macros.

У решения всё равно есть некоторые недостатки:

• На данный момент нельзя навесить атрибут на сборку из макро-атрибута, который сам навешен на сборку. Не знаю, исправят ли это в будущем (т.е. баг ли это), но сейчас макро-атрибут UnitsDefinition (в котором задаётся описание юнитов) задан с MacroTargets.Class (т.е. его обязательно надо вешать на какой-то — неважно, какой — класс).
  
• Принципиально нельзя использовать юнит-литералы из той же сборки, в которой расположено описание юнитов. Это связано с тем, что юнит-литералы определяются как макро-операторы (использована идея
  Автор: Vermicious Knid
  Дата: 05.04.06
  Vermicious Knid-а), а оператор нельзя создать и использовать в той же сборке (поскольку информация об операторе должна быть известна на этапе парсинга, а создаётся он в макросе, который выполняется уже после парсинга).
  
• В описании физических юнитов заданы не все литералы (лень). Надеюсь, описание будет наполнено теми людьми, которым действительно будет нужна эта библиотека (если таковые найдутся).

Тем не менее, все эти недостатки достаточно невелики и не мешают пользоваться библиотекой.

В заключение хочу сказать, что библиотека подобралась к своему логическому завершению и вряд ли будет развиваться дальше. Возможно, будут исправляться ошибки, но не более того.