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

Obrzydliwość. "Procedury są emulowane" - fuj. Ani odrobinę nie jest to lepsze od
funkcji, która zwraca obrzydliwy pół-typ void, który tu i ówdzie też ma inne reguły.
To również pokazuje, że funkcjonalność jest paradygmatem sztucznym i nie
odzwierciedla potrzeb i szkodzi zdrowiu. Skoro krytykujesz C i C++ za to, że nadużyły
pojęcia funkcji do niewłaściwych celów, to konsekwentnie powinieneś też krytykować
Haskella za to samo. :-)

> > 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? ;]

Efekty uboczne? Bo świat ma efekty uboczne, już o tym pisaliśmy. A ponieważ Ada
została stworzona do programowania systemów wbudowanych, które zwykle służą właśnie
do współistnienia z procesami fizycznymi, to ten ficzer w języku pozwala bardzo
czytelnie wpisać się w modelowane problemy. Funkcje zawsze będą potrzebne do
obliczeń, ale procedury są przydatne do popychania stanów i do robienia zmian w
środowisku.

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