regexp match (str)
{ | "a+.*" => printf("a\n");
  | @"(?<num : int>\d+)-\w+" => printf("%d\n", num + 3);
  | "(?<name>(Ala|Kasia))? ma kota" =>
     match(name)
     { | Some (n) => printf("%s\n", n)
       | None => printf("noname?\n")
     }
  | _ => printf("default\n");
}

Д>Ситуация, когда разные разработчики решают одну и ту же задачу разными DSL, полностью аналогична ситуации, когда один разработчик использует для построения GUI Qt, а другой wxWindows. И решается она такими же средствами, то есть при помощи стальной линейки или розг — в зависимости от вкусов руководителя проекта

A>Тут есть ещё и проблемы практического использования. Написать 10 kg то круто, а вот 10kg, а 10кг? А ведь это более естественно Да и где гарантия, что никто не забудет это самое k. Ошибка в 1000 раз на пустом месте.

[Oyster.Units.Macros.UnitsDefinition([
    // SI
    basisUnits (Si)
    (
        Mass[ kg ],
        Length[ m ],
        Time[ sec ],
        Temperature[ K ],
        CurrentStrength[ A ],
        LightIntensity,
        QuantityOfSubstance
    ),

    basisAliases (Si)
    (
        Area = (Length ^ 2),
        Volume = Area * Length,
        Velocity = Length / Time,
        Acceleration = Velocity / Time,
        AngularVelocity = Velocity,
        AngularAcceleration = Acceleration,
        Density = Mass / Volume,

        Force = Mass * Acceleration,
        SpecificGravity = Mass / (Length ^ 2) / (Time ^ 2),
        Pressure = SpecificGravity * Length,

        LinearMomentum = Mass * Velocity,
        MomentOfInertia = Mass * Area,

        Energy = Force * Length,
        Power = Energy / Time,

        DynamicViscosity = Mass / Length / Time,
        KinematicViscosity = DynamicViscosity,

        HeatCapacity = Energy / Temperature,
        Entropy = HeatCapacity,
        SpecificHeat = HeatCapacity / Mass,
        SpecificEntropy = SpecificHeat,

        Charge = Time * CurrentStrength,
        LinearDensityOfCharge = Charge / Length,
        SurfaceDensityOfCharge = Charge / Area,
        ElectricFluxDensity = SurfaceDensityOfCharge,
        PackedDensityOfCharge = Charge / Volume,

        Voltage = Power / CurrentStrength,
        ElectricForce = Force / CurrentStrength,
        Resistance = Voltage / CurrentStrength,
        SpecificResistance = Resistance * Length,

        Permittance = Time / Resistance,

        CurrentDensity = CurrentStrength / (Length ^ 2)
    ),

    // CGS
    units (Cgs)
    (
        Mass[ g ] - 1.0 / 1000.0,
        Length[ cm ] - 1.0 / 100.0,
        Time,
        Temperature,
        CurrentStrength - 1.0 / 3000000000.0,
        LightIntensity,
        QuantityOfSubstance
    ),

    // Other units
    units (_)
    (
        HorsePower = Power - 1471.0 / 2.0
    )
])]
// Using fake class here otherwise definition won't work - looks like a bug:
// http://nemerle.org/forum/viewtopic.php?t=223
class FakeForDef {}

Ампер равен силе такого постоянного тока, который, будучи пущен по двум прямым параллельным проводникам бесконечной длины и с незначительным поперечным сечением, помещёнными на расстоянии в 1 метр друг от друга в вакууме, создавал бы между этими проводниками силу, равную 2·10-7 ньютонов на метр длины.

template <int length, int mass, int time>
class physical_value
{
}

def x : int = любое_выражение;

A>Я уже приводил пример. Пусть поменяются приоритеты операций. Это оставит код компилирующимся, но сделает логически ошибочным. А переправлять это всё руками ой какая работа.. легче всё заново написать

regexp match (str)
{ | "a+.*" => printf("a\n");
  | @"(?<num : int>\d+)-\w+" => printf("%d\n", num + 3);
  | "(?<name>(Ala|Kasia))? ma kota" =>
     match(name)
     { | Some (n) => printf("%s\n", n)
       | None => printf("noname?\n")
     }
  | _ => printf("default\n");
}

def a : Si.Area = 10 m * 15 m

A>Тут есть ещё и проблемы практического использования. Написать 10 kg то круто, а вот 10kg, а 10кг? А ведь это более естественно Да и где гарантия, что никто не забудет это самое k. Ошибка в 1000 раз на пустом месте.

def m = Si.Mass(10)

def v = Si.Volume(Si.Velocity(30) * Si.Time(20) * 100 cm)

A>template <int length, int mass, int time>
A>class physical_value
A>{
A>}
A>