Идеальный ЯП

[DIzer]

Присваивание слева-направо - это естественная математическая запись y = f(x)

Да, но у нас есть оператор =  , так что гораздо лучше y  <-  выражение -  последнее, разумеется, всегда можно рассматривать как неименованную функцию...

[DIzer]

Если хотите со мной поспорить, то включите в список своих оппонентов и Никлауса Вирта  (см. статью "Хорошие идеи, взгляд из зазеркалья")

Спорить с вами нет смысла, поскольку (судя по ответу)- вы из "виртухаев"

[igor]

Спорить с вами нет смысла, поскольку (судя по ответу)- вы из "виртухаев"

Если Вы намекаете на то, что я только "смотрю в рот" Никлаусу Вирту, то глубоко ошибаетесь. Я уважаю Никлауса Вирта, но при этом не согласен с ним по некоторым немногочисленным, но концептуально важным вопросам. Например, я не считаю указатели типом данных.

И будьте поаккуратнее в выражениях, пожалуйста.

[DIzer]

Если Вы намекаете на то, что я только "смотрю в рот" Никлаусу Вирту, то глубоко ошибаетесь.

Я намекаю на то, что вы рассуждения о сущностах общего порядка сводите его (обсуждение сущности) - к обсуждению цитат (формы) - результат такого обсуждения не имеет смысла. В случае с Виртом - это выглядит просто жутко уродливо... Правильный ответ -в математике - значение значка "=" зависит от контекста В. Лаптев имел ввиду, что правую часть присваивания всегда можно представить как ЗНАЧЕНИЕ возвращаемое  некоторой (возможно неименованной) функцией.

Например, я не считаю указатели типом данных.

Все зависит от точки зрения на вещи - в информатике (для строго типизированных языков) тип данных является схемой, по которой строятся переменные и определяет набор операций над значениями (алгебру) - то есть ТИП указатель - имеет смысл ,имеет смысл ПЕРЕМЕННАЯ -указатель, имеет смысл ЗНАЧЕНИЕ -указатель.

И будьте поаккуратнее в выражениях, пожалуйста.

Буду - но сильно рассчитываю на взаимность 

[igor]

Буду - но сильно рассчитываю на взаимность 

Я никогда не обсуждал Вашу личность. В частности, я не называл Вас "виртухаем" или как-то ещё. Так что Ваши опасения по поводу моей невзаимности необоснованы.

[DIzer]

Буду - но сильно рассчитываю на взаимность 

Я никогда не обсуждал Вашу личность. В частности, я не называл Вас "виртухаем" или как-то ещё. Так что Ваши опасения по поводу моей невзаимности необоснованы.

Я говорю , про то что - если застукаете меня за "виртухайством" - бейте нещадно...Короче, хотите быть профессионалом - будьте ими. Хотите ВЫГЛЯДЕТЬ как профессионал - есть адресок в интернете  где найдутся близкие по духу..

[igor]

если застукаете меня за "виртухайством" - бейте нещадно...

Что я и делаю.  

Короче, хотите быть профессионалом - будьте ими. Хотите ВЫГЛЯДЕТЬ как профессионал - есть адресок в интернете   где найдутся близкие по духу..

Короче, давайте оставим в покое мою "тёмную" личность, которая чего-то там хочет, и вернёмся к обсуждаемому вопросу.

[DIzer]

Что я и делаю.  

    Я пока не почувствовал , но буду ЛИЧНО  ВАМ благодарен если вы "усилите" аргументы... когда живешь достаточно долго.. есть опасность стать маразматиком...- а не хотелось бы...
[/quote]
Короче, давайте оставим в покое мою "тёмную" личность, которая чего-то там хочет, и вернёмся к обсуждаемому вопросу.
[/quote] Вот так и НАДО    вот только текущее обсуждение присваивание свелось к тривиальной вещи -выбора ПРАВИЛЬНОГО значка для обозначения оператора...

[DIzer]

В математике запись y = f(x) -- это не присваивание.
Доказательство: y = f(x) равносильно f(x) = y.
Если хотите со мной поспорить, то включите в список своих оппонентов и Никлауса Вирта  (см. статью "Хорошие идеи, взгляд из зазеркалья")

А теперь по существу "доказательства"  в математике значек "=" применяется во многих случаях... например... Пусть i=1 , i принадлежит N (элемент множества целых чисел), разве
это равносильно 1=i ? 

[valexey]

Если уж на то пошло, то в математике, обычно, '=' это таки не бинарный оператор/функция возвращающая булево значение. То есть, если совсем уж буквоедством заниматься, то Вирт должен был бинарный булевый оператор проверки на равенство обозначить как-нибудь иначе.

[valexey]

Но вообще, я не вижу смысла в точной подгонке обозначений, тем более что и в математике, которая большая и обширная, обозначения меняют регулярно. В частности f(x) там далеко не всегда записывается именно так :-)

[DIzer]

Но вообще, я не вижу смысла в точной подгонке обозначений, тем более что и в математике, которая большая и обширная, обозначения меняют регулярно. В частности f(x) там далеко не всегда записывается именно так :-)

Вот именно по этому я и воспринял сообщение Игоря как очередную ДУРАЦКУЮ PR акцию блэкбоксеров 

[igor]

Пусть i=1 , i принадлежит N (элемент множества целых чисел), разве
это равносильно 1=i ? 

Да, равносильно. В математике и то и другое называется уравнением и имеет один и тот же смысл.

[DIzer]

Пусть i=1 , i принадлежит N (элемент множества целых чисел), разве
это равносильно 1=i ? 

Да, равносильно. В математике и то и другое называется уравнением и имеет один и тот же смысл.

Вопросов больше не имею.. 

[igor]

Если уж на то пошло, то в математике, обычно, '=' это таки не бинарный оператор/функция возвращающая булево значение.

В программировании мы привыкли, что предикаты могут принимать как значение ИСТИНА, так и значение ЛОЖЬ. В математике знак "=" (а также другие знаки, обозначающие операции сравнения) устанавливает предикат, который всегда декларируется как ИСТИНА. Если на поверку оказывается, что это не так, то такая ситуация в математике квалифицируется как ошибка.