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

Интересно как функциональных ЯП решается проблема со случайными числами.

Также как и с вводом-выводом. В Haskell к примеру функции поделены на "чистые" и не "чистые". Первые соответствуют озвученной вами концепции, вторые - нет. Из чистых функций можно вызывать только чистые. Из "грязных" - как чистые, так и не чистые. Угадайте, к какому типу относится main.

Это сообщение отредактировал(а) afiskon - 11.7.2011, 10:36

...функция свертки всегда возвращает один и тот же результат - операцию свертки... Хотя выходной массив для разных функций всегда будет разным... Мммм... улавливаете? И ГСЧ на компьютерах по природе своей детерминированные автоматы(ну без экзотики вроде тепловых шумов звуковухи и т. д.) . Вот на уровне интуиции - возможно ли написать mp3 плеер на функциональном языке? Возможно... Ну а теперь вместо mp3 трека можно поместить таблицу с определенными свойствами? ...Формируем таблицу и пишем функцию которая возвращает значение таблицы и текущий указатель(индекс) считывания... Вот и весь простейший ГСЧ... 
 Еще из области логических спекуляций интуитивного восприятия - функциональное программирование не нарушает низкоуровневую организацию работы ЭВМ - сегмент данных, сегмент программ - а это теже в профиль концепции - оператор и множество на основании которых строится вся современная математика в том числе и ГСЧ...
  Где-то так...

Это сообщение отредактировал(а) DRUID3 - 11.7.2011, 22:34

тягают состояние гсч из функции в функцию явно, образуя класс функций вида x1 -> ... -> xN -> G -> (a, G), где G - собственно состояние. присмотритесь, заметите монаду State хаскеля, а в Clean, например, тип гсч имеет уникальный атрибут.

Про функцию Хаскеля я что- то слышал..