W dniu czwartek, 10 stycznia 2019 11:49:03 UTC+1 użytkownik Maciej Sobczak napisał:
> > > > > 2. Programowanie imperatywne w żaden sposób nie wyklucza analizy
podstawieniowej.
> > > >
> > > > Ok, w takim razie weź kod fira, który przekleiłem do swojej odpowiedzi, i
pokaż nam, jak by dla niego taka analiza podstawieniowa wyglądała.
> > >
> > > A na jakie pytanie chciałbyś taką analizą odpowiedzieć?
> >
> > Na przykład, jaki ten program da wynik dla argumentu "7".
>
> Uruchamiamy program i mamy wynik. Co ciekawe, są programy, których wykonania nie da
się pominąć.

No właśnie tu jest sedno problemu.
Program funkcyjny mogę wyjaśnić w terminach podstawiania wartości
za wyrażenia, a programu imperatywnego nie mogę.
Mogę w najlepszym razie przesymulować przebieg jakiejś maszyny.
Jest to możliwe, ale jest trudniejsze (ma większy narzut kognitywny)

> I nie całkiem to miałem na myśli pisząc o analizie - bardziej mnie interesuje np.
czy program nie wykona niewłaściwej operacji (jak dzielenie przez zero). Tutaj metody
analizy mają podobną moc.
>
> https://www.hillelwayne.com/post/theorem-prover-show
down/
>
> "I keep hearing that it's easier to analyze pure functional code than mutable
imperative code. But nobody gives rigorous arguments for this and nobody provides
concrete examples. Nobody actually digs into why assignments and transitions are so
much harder to reason about than pure functions ..."
>
> Ciekawe? to czytaj dalej. Człowiek zrobił konkurs i zaprosił do niego zwolenników
obu obozów, żeby pokazali siłę swoich rozwiązań.
>
> Wiesz, kto wygrał?
>
> Nikt nie wygrał. Wszyscy robili tak samo źle (!).
>
> Z "Final thoughts":
>
> "the claim "it's easier to reason about FP than imperative" is wrong"
>
> Ale polecam całość, bo oczywiście problem jest wielowymiarowy.

Tak, jest.
I ja też się zgadzam z wieloma obserwacjami Hillela.
Uważam że on i ten jego kolega, Ron Pressler, prezentują
bardzo wyważone podejście do tego zagadnienia.

Też spotykam się z osobami, które twierdzą, że programowanie funkcyjne jest lepsze,
bo tak, albo że używanie monady IO to programowanie funkcyjne.

Programowanie funkcyjne ma tę zaletę, że takie programy można sobie analizować,
podstawiając wartości za wyrażenia.
I na tym, być może, kończy się lista zalet.
(Może nie. Może też systemy typów pozwalają wyrażać jakieś własności, co ma pewną
dodatkową wartość w niektórych przypadkach. Może też niektóre problemy znajdują
elegantszy wyraz w językach funkcyjnych. No ale inne pewnie nie).

Ja nie mówię - i to od początku tego nie mówię - że nie należy stosować operatora
przypisania.
Mówię, że tam, gdzie nie jest to konieczne, lepiej tego unikać.