W dniu poniedziałek, 14 stycznia 2019 09:36:35 UTC+1 użytkownik Maciej Sobczak
napisał:

> Niemniej - jedna z rzeczy, które mi się podobają w Adzie to właśnie podział
podprogramów na procedury i funkcje. Procedur nie da się użyć w wyrażeniu a funkcje
muszą być w wyrażeniu.

W Haskellu jest (z grubsza) podobnie.
Tzn. tam wszystko jest funkcją, ale procedury są emulowane za pomocą typu IO, który
ma inne reguły kompozycji, niż zwykłe funkcje.

> Język tego nie wymusza, ale naturalnie łatwiej wtedy o konwencję, że funkcje robi
się "czyste" a procedury zostawia się na te okazje, kiedy efekty uboczne są celowe.

A dlaczego to jest dobre? ;]