YAR и параметрический полиморфизм

← →
oxffff © (2010-09-23 15:31) [0]

Добрый день.

В свободное время разрабатываю компилятор языка программирования YAR. Среди последних новинок языка над которыми я работаю это параметрический полиморфизм(пока с однородными unbound параметрами). Да сейчас можно делать так

program Helloworld;

Myinteger=integer;

Myrecord=record
a,b,c:integer;
private
d:integer;
f:integer;
end;

MyRecordAlias=Myrecord;

Myrecord<U,T,A,Z> =record
a,b:T;
c:U;
d:integer;
private
d:Z;
g:integer;
end;

function abc<T,U,Z>(a:integer;b:U):Z;
c,d:T;
e:Z;
f:U;
o:Myrecord<MyRecordAlias,integer,Myrecord<integer,Myinteger,integer>,Myinteger>;
p:Myrecord<Myrecord,Myinteger,Myrecord<integer,integer,integer>,integer>;
begin
o:=p;
f:=b;
result:=e;
end;

Если ли у кого потребность по добавлению в его продукт языка или промежуточного представления или его подмножества аналогичному YAR?
Есть ли единомышленники, которые например хотели бы заняться созданием backend для x86 или JVM?

Спасибо.

← →
TUser © (2010-09-23 16:39) [1]

Хорошее дело, его реально не хватает в Д7.

← →
Petr V. Abramov © (2010-09-23 16:41) [2]

> которые например хотели бы заняться созданием backend для
> x86 или JVM?

а MSIL по религиозным соображениям не упомянут? :)

← →
oxffff © (2010-09-23 17:17) [3]

> Petr V. Abramov © (23.09.10 16:41) [2]
>
> > которые например хотели бы заняться созданием backend
> для
> > x86 или JVM?
>
> а MSIL по религиозным соображениям не упомянут? :)

Как раз под него есть реализация.

← →
Kerk © (2010-09-23 18:59) [4]

А можно подробнее объяснить о чем речь в сабже?
Я чет тупил тупил на этот синтаксис... :)

> Kerk © (23.09.10 18:59) [4]
> А можно подробнее объяснить о чем речь в сабже?

Паскалеподобный язык с параметрическим полиморфизмом АКА дженерики.

> Kerk © (23.09.10 18:59) [4]
> А можно подробнее объяснить о чем речь в сабже?
> Я чет тупил тупил на этот синтаксис... :)

Синтаксис pascal подобный с некоторыми отличиями(собственно ничего не мешает его поменять).

http://homepages.feis.herts.ac.uk/~msc_fl/fl-node59.html

YAR и параметрический полиморфизм Найти похожие ветки