Haskell IO чистота чистотой, но ...

[Kostia]

Вчера я спокойно пропсиховался во время написания некоторых программ на Haskell. Проблема с которой столкнулся, это использование результатов работы не чистых функций и процедур в этом чистом языке.
Задачи, которые я решал были чрезвычайно просты, это было вычисление факториала, чисел фибоначчи ... Но когда потребовалось реализовать ввод данных с клавиатуры, последовательность случайных чисел которая генерится не от константы, а от функции времени. В общем потерял пару нервных клеток, осталось совсем еще много.
В общем вот код:

import System
import Random
import IO
import Time

--Для того чтобы при каждом запуске генерилась новая последовательно псевдослучайных чисел
makeTime :: CalendarTime -> Int
makeTime calendar = fromIntegral (ctPicosec calendar)

main = do   tm <- (getClockTime >>= toCalendarTime)
            result (vMonte (makeTime tm)) vCilin

--методом Монте-Карло вычисляем объём цилиндра (5 10) в кубе 10x10x10
vMonte r = volumeMonteCarlo 1000 r (inCilinder 5 10) * 10 * 10 * 10
--результат точного метода
vCilin = volCilinder 5 10
--результат
result a b = do print a
                print b
                print (1 - a / b)
--функция проверка попадания точки внутрь цилиндра
inCilinder r h x y z =  ((x*x + y*y) <= (r*r)) && (abs z < h/2)
--точный метод объёма цилиндра
volCilinder r h = pi*r*r*h

--списко случайных чисел
srand r = randomRs (-5, 5) (mkStdGen r) :: [Double]

--вычисление объёма фигуры методом Монте-Карло
volumeMonteCarlo n r fn = (volumeMonteCarlo' (take (n * 3) (srand r)) fn 0) / fromIntegral n
volumeMonteCarlo' [] fn i = i
volumeMonteCarlo' (x:y:z:s) fn i | fn x y z == False = volumeMonteCarlo' s fn i
                                 | otherwise = volumeMonteCarlo' s fn (i + 1)

Интересует вопрос, можно ли более красиво обруливать функции с побочными эффектами, чем это сделано у меня? И просьба в целом оценить код и высказать замечания.

[the_deer_one]

А в чём ваще проблема то?

[Kostia]

Проблема в том, что я не могу просто написать:

rand = srand (makeTime t) 
    where t = getClockTime >>= toCalendarTime

Couldn't match expected type `CalendarTime'
with actual type `IO CalendarTime'

а так могу:

main = do   tm <- (getClockTime >>= toCalendarTime)
            result (vMonte (makeTime tm)) vCilin

Но рабочий способ часто крайне не удобен и приходится извращаться

[the_deer_one]

Почему в не функциональных языках таких проблем не возникает. Это плохо?

[Kostia]

Почему в не функциональных языках таких проблем не возникает. Это плохо?

Еще как плохо =)
Функция на одни и те же входные данные должна возвращать один и тот же результат. В случае с getClockTime такого не происходит, параметров у нее вообще нет, а результат всегда разный. Поэтому с такими функция особое обращение по средством специального класса IO. Но IO Integer != Integer, хотя можно и написать:

toInteger :: IO Integer -> Integer
toInteger = read

Но функции read, show ... определены далеко не у всех и часто их не получается использовать как этого хотелось бы.
Почему это плохо? Просто если принять это ограничение, на счет однозначном соответствии входных и выходных параметрах, то можно воротить просто невероятные фишки(под впечатлением (= ), которых в классических языках нет, а их реализация будет выражена в сотнях строк кода. Ну например такая конструкция: g (Y g)
Подробнее тут
Достаточно просто реализовать автоматическое распараллеливание выполнения функций, ведь переменных нет, есть только разовые объекты, которые единожды вычисляются и больше не меняются, ну и еще есть константы. Поэтому многое становится явным и переменные это зло xD, шутка.
Понравились вот эти лекции, собственно с них и начал.
Еще понравилась книжка "Душкин Р. В. функциональное программирование на языке Haskell", но начать с нее программировать не получилось.
Также в скором времени ожидаю приход "Изучай Haskell во имя добра!", по отзывам вроде самое оно.

[Utkin]

Почему в не функциональных языках таких проблем не возникает. Это плохо?

Вы зря стебаетесь, в последнее время императивные языки развиваются за счет воровства фишек функционального программирования. И эти Ваши мегапопулярные и то на чем Вы сидите - с++ и c# понатырели и оттуда идеи.

[netrino]

Можно main так переписать (если Вы об этом):

main = getClockTime >>= toCalendarTime >>= (buildResult . vMonte . makeTime)
  where buildResult r = result r vCilin

Любой код в do-нотации - это просто синтаксический сахар над последовательностью вызова оператора связывания (>>=)

[Utkin]

На мой взгляд, все ФЯП - для ЧСВ, в основном.

Ага, Лисп в Автокаде и гимпе исключительно для поднятия чсв юзеров, котрые об этом как правило и не знают.

Вон на Лурке: кричали какое гумно PHP, щас мы все на Erlang перепишем.

PHP от этого лучше не становится.

Переписали. Теперь страницы грузятся черте-как, если низкая скорость, загружается только кусок страницы.

Даже этот форум грузится иногда черте-как.

[the_deer_one]

Utkin

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

Да ну, и какие же фишки были украдены?

[Kostia]

Да ну, и какие же фишки были украдены?

Лямбда функции как минимум =)
Упрощение рапараллеливания std::async
Т.к. параллелить приложение написанное в функциональном стиле, очень просто, с этим даже компилятор может справиться, то императивные языки наращивают свои библиотеки для программирования в функциональном стиле. (достаточно много нового в <functional> в c++11 появилось)
А также расширение в области метапрограммирования и улучшения шаблонов, что привело к появления подобия сопоставления с образцом, вычислению типа возвращаемого значения по типам входных параметров и т.д.
В C# есть делигаты, (IMHO) но попахивает функциональщиной xD