🚀 go-pugleaf

Tomasz Zielonka wrote:
> Tomasz Zielonka wrote:
> [...]
>
> Chciałem jeszcze napisać o kilku rzeczach, ale przedwcześnie wysłałem
> posta. Postaram się dodać dziś wieczorem.

Warto się zastanowić dlaczego w ogóle testujemy programy. Robimy to
dlatego, że nie jesteśmy pewni ich poprawności. Jednym z celów
rozwoju języków funkcyjnych jest dostarczenie narzędzi, które
pozwalają uzyskać większą pewność poprawności programu.

Sporą pomocą jest już sam styl funkcyjny, unikający niepotrzebnego stanu
i efektów ubocznych, bliższy matematyce niż strukturze komputera.
Oprócz tego ważne są dobre możliwości modularyzacji kodu, osiągane m.in.
przez funkcje wyższego rzędu, funkcje jako wartości, leniwość.

Większość języków funkcyjnych w jakimś stopniu ułatwia dowodzenie
własności programów. Przy braku efektów ubocznych można przekształcać
programy tak prosto jak wyrażenia matematyczne (bo tym faktycznie są
programy w niektórych JF).

W językach z bogatym statycznym systemem typów można przenieść część
niezmienników programu na poziom typów, dzięki czemu zachowanie tych
niezmienników będzie sprawdzane podczas kompilacji, statycznie.

Pozdrawiam
Tomasz