Vlákno názorů k článku
Mercury: Abstrakce nad algoritmy

Plánuje se taky, že to bude umět řešit halting problém?

Na tom intenzivně pracuju já osobně. Už jsem implementoval parsery zdrojáků všech podstatných programovacích jazyků a reprezentaci Turingova stroje. Teď už mi zbývá jen ten poslední krok, rozvinout výpočet stroje do stromu a podívat se, jestli je ten strom konečný. Myslím, že to už bude hračka. ;-)