> > > > 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ąć.

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.

--
Maciej Sobczak * http://www.inspirel.com