Здравствуйте! 
Такой теоретический вопрос. Любая функция (метод) должна возвращать значение? 
Возможно вопрос наивный, но т.к. по образованию не связан с IT, хочу уточнить. С опытом прихожу к выводу что да, любая функция должна возвращать хоть что-то, это как правило хорошего тона, позволяет часто сделать выполнение алгоритма логичней и манипулировать ходом выполнения удобнее. 
Может в некоторых языках так и есть?

Заранее благодарен. Так же не буду рад какой-нибудь литературе общего толка которая бы навела порядок в голове относительно подобных вопросов, а то практических знаний и опыта хватает, а базовые теоретические хромают.
PS: про Кнута в 3 томах , но пока слишком фундаментально для меня. 

Да, во многих языках не только функция как таковая, а вообще любая конструкция, возвращает некоторое значение. Это чертовскиудобно. Для примеров и понимания поковыряй всякие лиспы, в частности книгу SICP.

newbee, спасибо за наводку на SICP. 

Если функция не возвращает значения - то это процедура.  

У отдельной вызываемой структурной единицы в программировании различают возвращаемое значение и сторонний эффект (разные изменения в памяти компьютера).  Присоединяюсь к уже сказанному: если есть возвращаемое значение -- это функция, если нет -- процедура.

хороший терминологический on-line словарь компьютерных терминов:
http://foldoc.org/

Зависит от области применения. К примеру, если результатом вызова функции является вывод текста, то она и не будет ничего возвращать

Не соглашусь. Сначала вы вводите возвращаемое значение просто так, затем кто-то решит придать ему смысл (напрмер, успех/неуспех), затем его будут игнорировать и тем самым внесут ошибку. 
И вообще, увидев "return 1", будут терять время на выяснение вопроса "а что значит 1"?, и выяснив, что 1 здесь не значит ничего, поймут, что напрасно потратили время, и сочтут такой стиль за дурной тон.

традиционно подпрограммы по способу назначения, организации и использования делят на функции и процедуры. в чистом виде можно считать, что функция суть производит вычисления и возвращает значение (очень похоже на функцию в математике), а процедура генерирует побочные эффекты (в том числе, возможно, путем изменения значений аргументов, переданных по ссылке).
во многих языках есть лишь одна конструкция для организации подпрограмм. например, в С/С++, php, javascript все подпрограммы называются функциями, однако они не обязательно должны возвращать значение.
возврат значения не имеет смысла, если единственное назначение подпрограммы - сгенерировать побочный эффект. например в подпрограммах вывода (типа echo, alert, print).


"хоть что-то" никому не нужно, нужно "что-то конкретное"

Это сообщение отредактировал(а) baldina - 3.11.2011, 12:08

Господа, вот вы все про print, про побочные эффекты... А почему бы print-у не вернуть сгенерированную им строку?

Вообще представления о побочных эффектах сильно разнятся от того, как и на каком языке думает программист.

Рассмотрим символическую функцию showError(), из названия понятно ее предназначение. Что эта функция должна возвращать?

Не совсем понятно, куда и как она показывает. Можно вернуть сам текст ошибки, ее код, а лучше - и то, и другое.

Но в целом I/O - это достаточно исключительная ситуация в программировании, когда сайд эффект важнее возвращаемого значения. Про I/O вообще говорить не интересно, интересно говорить о вычислениях.

Вероятнее всего на устройство вывода


Префикс show как раз и говорит о том что текст отображается, зачем же ему еще и возвращать его? 

Интереснее всего, в блокирующем режиме показываем или нет, еще было интересно, что функция получает на вход.

Я ж не спорю, что эта обезьянья работа с выводом сообщений и окошечек не требует возвращаемого значения. Но если язык обязывает что-то вернуть, то всегда можно найти, что именно. А если не найдется - nil. Многое зависит от языка и культуры программирования на нем. Если мы берем императивный процедурный си, то вполне естественно, что многие функции будут возвращать void или int для контроля ошибок, что в контексте нашего разговора эквивалентно, ведь опять результат выполнения функции спрятан в сайд-эффектах. А если мы возьмем общелисп, который хоть и по-настоящему мульти-парадигменный, но очень поощряет применение функциональных подходов к программированию, мы увидим, что очень удобно разбивать программу так, чтобы функции выполняли работу без сайд-эффектов, а все вычисления могли сводиться к одной большой цепочке, включая вызовы функций, условия, циклы, печать и т.д.

Не все языки обязывают что-либо возвращать. Зачем возвращать nil, если ничего возвращать не нужно в принципе?

Мне в этом смысле импонирует тот же Хаскель. Базовая часть выполнена в функциональном стиле, и всегда есть какое-либо возвращаемое значение. А для работы с сайд-эффектами есть два типа функций, можно вернуть получившиеся значения, а можно их отбросить (если упрощённо). Это более корректно семантически, и при чтении кода сразу понятно, чего именно хотел автор.

А по теме - учите Пролог. Там все функции выполнены как предикаты и возвращают исключительно истину либо ложь, а остальные результаты есть побочный эффект их вычисления   

имеются в виду языки программирования, верно? я и не утверждал, какие именно представления должны быть. однако имхо если программист думает на английском, то printString печатает строку (побочный эффект), а getString строку возвращает. на любом языке программирования.

Добавлено через 2 минуты и 57 секунд
хотя вообще конечно Вы правы. припоминаю, приходилось мне видеть функцию bolshoyeOkno(), вся работа которой заключалась в возврате ширины окна)))