To mne připadá padlé na hlavu. Proti takové argumentaci nemám co říct. Přesně podobné řeči nováčky matou, a zmatou je tak, až radši funkcionální programování zahodí.
Tak teď ti teda vůbec nerozumím. Pouštíš se do silných tvrzení ("Haskell není čistý!") a když se snažím povídavě, ne-rigorozně ukázat, proč čistý je, tak se ti to nelíbí, že to nováčky mate... No tak pokud to nováčky mate, tak nemají vydávat silná prohlášení
Vždyť pořád si jenom tak neformálně kloužeme po povrchu, nikdo tady ještě nezačal ani podávat nějaké důkazy vlastností funktorů nebo přirozených transformací
Vaše argumenty lze po mírné modifikaci nasadit na jakýkoli jazyk, a poté tvrdit že je čistý. Stačí jen vytvořit monády. což není problém.
Ale vůbec ne. Platí tohle:
pokud je jazyk čistý -> musím IO nějak obchcat, třeba pomocí monád
NEplatí tohle:
pokud má jazyk monády -> je čistý
Čistota je vlastnost jazyka jako celku, s monádami to nemá co dělat, monády jsou jenom nástroj.