Здравствуйте, _NN_, Вы писали:

Не работает так реальный пример с множественной вложенностью типов.

примерно так выглядит

mul(a,b) -> return (a.x*b.x-a.y*b.y.............)

причем конечный тип есть A[A[A[A[A[A[A[A[A[A[A[double]]]]]]]]]]]
разворот всего дает слишком много кода

Здравствуйте, Аноним, Вы писали:

А>Здравствуйте, _NN_, Вы писали:

А>Не работает так реальный пример с множественной вложенностью типов.

Ничего не понял в сообщении. Попробуйте донести мысль полнее.

Здравствуйте, hardcase, Вы писали:

А>>Не работает так реальный пример с множественной вложенностью типов.

H>Ничего не понял в сообщении. Попробуйте донести мысль полнее.

kvar[T]
{
  x,y,z,t:T;
}

macro mul(a,b:T){T(a.x*b.x+a.y*b.y+a.z*b.z-a.t*b.t,.....,.....,.....)}

в коде создаеться
kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[double]]]]]]]]]]
макрос разворачивается в кучу кода

Здравствуйте, Аноним, Вы писали:

А>kvar[T]
А>{
А>x,y,z,t:T;
А>}

А>macro mul(a,b:T){T(a.x*b.x+a.y*b.y+a.z*b.z-a.t*b.t,.....,.....,.....)}

А>в коде создаеться
А>kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[kvar[double]]]]]]]]]]
А>макрос разворачивается в кучу кода

> macro mul(a,b:T)

И это компилируется? Вообще, в "macro mul(a,b)", a и b имеют тип PExpr.

using Nemerle.Compiler;
using Nemerle.Compiler.Parsetree;

macro cross(t, u, v)
{
    <[
        def u = $u;
        def v = $v;
        $t
            ( u.y * v.z - u.z * v.y
            , u.z * v.x - u.x * v.z
            , u.x * v.y - u.y * v.x
            )
    ]>
}

[ Record ]
class V3
{
    public x : double;
    public y : double;
    public z : double;

    public override ToString() : string
    {
        $"[$x $y $z]"
    }
}

System.Console.WriteLine(cross(V3, V3(1,2,3), V3(4,5,6)));

[-3 6 -3]

ILSpy:

// Test
public static void Main()
{
    V3 v = new V3((double)1, (double)2, (double)3);
    V3 v2 = new V3((double)4, (double)5, (double)6);
    Console.WriteLine(new V3(v.y * v2.z - v.z * v2.y, v.z * v2.x - v.x * v2.z, v.x * v2.y - v.y * v2.x));
}

Здравствуйте, _NN_, Вы писали:

_NN>А какая цель была этого сравнения ?

Какой-то школьник пришел пенисом помериться, а вы перед ним распинаетесь.

Здравствуйте, Аноним, Вы писали:

А>Не работает так реальный пример с множественной вложенностью типов.

Какие типы? Перед вынесением суждений нужно в предмете разобраться. Это макрос. Он с типами не работает.

Здравствуйте, VladD2, Вы писали:

VD>Какой-то школьник пришел пенисом помериться, а вы перед ним распинаетесь.

Может, автору темы это и не важно, зато кто другой прочитает и узнает что-то новое.

Здравствуйте, Don Reba, Вы писали:

DR>Может, автору темы это и не важно, зато кто другой прочитает и узнает что-то новое.

Тогда лучше было в какой-нибудь интересный пример ткнуть или в статью.

Что можно узнать из пенесометрии?

Сам понимаешь, чтобы оценить Немерл, нужно хотя бы поверхностно вникнуть в его концепции.