Já jsem požadoval konkrétní implementaci konkrétního algoritmu, v konkrétním FP jazyku bez side efektů, která po překladu vygeneruje pro reálný HW stejně efektivní kód (stačí z hlediska asymptotické složitosti) jako implementace v imperativním jazyku.
OK. Jak uz jsem psal, FP jazyky nejsou dnes obecne efektivnejsi nez imperativni. Kompilatory k tomu smeruji (nekdy se podari i prekonat), ale neni to samozrejmost. Ale to neni duvod, proc FP (ne)pouzivat - duvod, proc FP pouzivat je v lepsim pohodli pro programatora (konkretne lepsi spravovatelnosti a znovupouzitelnosti).
V 70. a 80. letech se vedly diskuse zda kompilator dokaze napsat lepsi kod nez assemblersky programator. Nakonec k tomu doslo, a debata se vyresila. K temuz eventualne dojde i v FP, jenom to nebude hned zitra.
Zboj říkal, že to VŽDY jde, a zdůvodnňoval to plácáním nesmyslů o výpočetní síle lambda kalkulu. Já netvrdím, že to v tomto konkrétním případě nejde, jen jsem takové řešení dosud neviděl.
Ja si dokazu predstavit kompilator, ktery nejaky vicemene standardni postup prace v lambda kalkulu prevede do nahodnych pristupu do pameti.. (Muzes si treba predstavit vyvazeny binarni strom, ktery je implementovan jako pole.) Takze ano, jde to.