Нормальные пацаны не пишут ФП

Можно же и не передавать никаких контекстов, а сделать как в хаскеле - пусть все переменные будут на самом деле «вычислениями», все ф-и - будут принимать не значения, а «вычисления» и возвращать не значения - а тоже «вычисления». Тогда нету никаких проблем с

a = 1
f = a
(f)
-> 1
a = 2
(f)
-> 2

Соответственно хитрым движением руки мы только что превратили все функции в любой нечистом языке в 100%-чистые! И даже не надо вводить никаких изменений в язык!

Честно, я бы запретил травмировать мозги юных студентов изучением языка Haskell. Боже, какую потом околесицу несут эти недоучки! В ответ приходится только улыбаться и срочно менять тему разговора. Всем срочно изучать Python, в крайних случаях можно прописать Java, а самым буйным можно давать уже С++. Я так считаю.

Пацаны не поймут.

Разве что если только можно будет видеть что (f) _вычисляется_ в #<computation-blah-blah-blah>, каждый раз в одно и то же, с необходимостью магически запустить эту вещь — ну будет как сейчас в хаскеле с IO. Один фиг, чистая функция это, например, sin, но не time, натуральный рандом или какой-нибудь ввод (в форме в которой они вычисляются непосредственно в значения, а не терм IO).

Разве что если только можно будет видеть что (f) _вычисляется_ в #<computation-blah-blah-blah>, каждый раз в одно и то же, с необходимостью магически запустить эту вещь

Но зачем, если можно сделать это неявно и избавить программиста от ручной работы?

Один фиг, чистая функция это, например, sin, но не time, натуральный рандом или какой-нибудь ввод (в форме в которой они вычисляются непосредственно в значения, а не терм IO).

Но в чем проблема им неявно вычиляться в терм ИО?

А о чём же тогда трындеть на «русском аналоге stack overflow»?

Но зачем, если можно сделать это неявно и избавить программиста от ручной работы?

Какого программиста в случае какого языка от какой работы?

Но в чем проблема им неявно вычиляться в терм ИО?

Ну пусть вычисляются — будет частичная семантика в которой все функции «чистые» и вызовы вычисляются либо в чистые значения обычных типов, либо в спецификации IO, а если продолжить эту семантику до конца, до непосредственных значений, то можно будет увидеть, чем sin отличается от time.

import Control.Monad
import Data.Time.Clock

isPureM f test = liftM2 (==) (f test) (f test)

main = do
  print =<< isPureM (return . sin) 1.0
  print =<< isPureM (const getCurrentTime) ()

это не баг, а фича.

означает оно всегда одно и то же.

ой ли? А как же СТО?

мурло ушастое.

вот и готов годный комментарий к данному нику.

Хотя недолюбливаю буржуев, и есть за что, особенно их политиканов и СМИ (а где хорошо, где этот неизвестный рай на земле?), но мне импонирует в буржуях то, что они часто не столь агрессивны как наши, и обычно более корректны в высказываниях, хотя придурков везде полно. Но здесь я тоже стараюсь не отставать от своих, быть форматным, так сказать ;)

Поэтому слова про «русский аналог stack overflow» принимаю за шутку. Да и здесь средний возраст присутствующих много-много моложе, тогда как на том же stack overflow можно встретить очень много известных личностей, некоторые довольно крупного масштаба. А теперь сравни с преобладающими школярами :)

И в СТО тоже.

принимаю за шутку

А это и была она ;)

что они часто не столь агрессивны как наши

Ага, тем более никаких там «сделай вдоль», «язабан».

Есть только два ФП, которые реально нужны.

1. «Почти ФП» (а чем, собственно, не ФП?:)) - JavaScript

2. Groovy (ибо для Sping Framework полезен)

Яйцеголовые поделия идут в топку.

Хочешь много - учить Хаскель, хочешь кушать здесь и сейчас - учить придется еще и разные #