module M
{
Main() : void
{
def f(x) { f(f(f)) }
}
}
Error: the types ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...------ -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...-------- and ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...------ -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...-------- are not compatible [simple unify]
Здравствуйте, nikov, Вы писали:
А ещё говорят это японцы извращенцы, захожу на форум и вижу что тут Nikov сообщениями компилятора уже рисует картины во псевдографике. Предлагаю назвать "And в бурной реке"
>N def f(x) { f(f(f)) }
(Чувствует почти физическую боль)
Вообще, я знал что рано или поздно это когда-нибудь случится. Можешь радоваться, Nikov, ты доломал компилятор до такого состояния, что он не выдержал, сорвал с себя маску бездушного алгоритма, и на простом компиляторском сказал всё что он думает о твоих насилиях над ним. У меня порой у самого от твоих примеров и этюдов колотит как в стиральной машине только от попытки рассмотреть что же произойдёт, а что случается с бедной компилятор-тян от этого, я даже не представляю.
-- ->...---- ->...------ ->...
Это значит, что он кладёт большую стрелку на всё и идёт спать.
Если машины вдруг восстанут, я уже знаю что послужит последней каплей.
«История жизни – это, по существу, развитие сознания, которое завуалировано морфологией.» Пьер Тейяр де Шарден
Здравствуйте, nikov, Вы писали:
N>N> def f(x) { f(f(f)) }
N>
N>N>Error: the types ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...------ -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...-------- and ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...------ -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...-------- are not compatible [simple unify]
И что характерно, верно ведь говорит.
Уж точно лучше чем раньше, когда компилятор просто "вешался".
Вот ты затейник
... << RSDN@Home 1.2.0 alpha 4 rev. 1472>>
Здравствуйте, nikov, Вы писали:
Угадайте какой вывод компилятора тут:
module M
{
Main() : void
{
def f[T](x) { f(f(f)); }
}
}
Здравствуйте, nikov, Вы писали:
N>N>Error: the types ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...------ -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...-------- and ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...------ -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...---- -> ... -> ... -> ... -> ...-- -> ... -> ... -> ... -> ...-------- are not compatible [simple unify]
Оффтоп. Случайно наткнулся на мариниста похожего стиля:
"Компилятор пытается разобрать код Nikov'а", 2011 год.
«История жизни – это, по существу, развитие сознания, которое завуалировано морфологией.» Пьер Тейяр де Шарден
Здравствуйте, _nn_, Вы писали:
__>Угадайте какой вывод компилятора тут:
И самое главное, угадайте, где это поведение документировано