U.E.

[aruslan]

Что-то чем больше я читаю Тима Свиини, тем хуже мне становится.
Вот тут я уже вообще перестаю его понимать.
То есть я не могу отделаться от ощущения, что Тиму нужно чаще жевать.
Причём собеседник у него (Frank Atanassow) - на редкость благодушный и терпеливый.

Ых, но в конечном счёте всё измеряется в UE.

Comments

[qiller-neu.livejournal.com]

/me интересуется, какими путями ходит aruslan в интернете, ибо тоже хочется читать умные мысли.

[http://users.livejournal.com/_foreseer/]

Почитал. Вроде понятно - утверждается, что можно рассматривать типы как множества. Элемент множества - значение. Потом утверждается что можно задавать множества в виде функи типа "вернет true - принадлежит множеству". Потом утверждается, что 2 типа одинаковы, если их функи дают одинаковый результат. Далее говорится, что в общем случае доказать равенство фунок невозможно, но и не нужно. Смысл дальнейшего от меня ускольнул - насколько понимаю обсуждался конкретный способ записи этих фунок, определяющих тип и способ доказательства, что две разных записи одного и того же совпадают.

Правда, о чем говорил Frank я не понял :)

UE это сила, скоро останется только один движок и он будет называться UE :)

[pessimist-hobo.livejournal.com]

Просто ты в дуще не готов принять, что тип - это множество значений. Потому что неудобно это:) Очень хочется сразу сложить комплексное число с двумерным вектором.

[sleepy-drago.livejournal.com]

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