Názor k článku CIA umí prolomit Linux, televize, routery i telefony, ukazuje WikiLeaks od Ivan Nový - Vaše funkce je jen abstrakce, v realitě, aby...

Vaše funkce je jen abstrakce, v realitě, aby mohla být vyhodnocena, musí být přeložena pro daný procesor, například mnou popsaný procesor s jedinou instrukcí NAND, no a na něm jsem vám příklad nekonečné smyčky předvedl pomocí jediné instrukce NAND. A přesně v tomto kontextu jsem to uváděl.

To, že jste si vymyslel blbou abstrakci je váš problém. Otázka je, zda procesor s jedinou instrukcí NAND by byl turingovsky úplný, zkoumat to nebudu, ale intuitivně předpokládám, že ano. Můžete mi tuto hypotézu vyvrátit.

Abyste ve vaší abstrakci dostal turingovsky úplný automat, musíte ve shodě s principy FP zavést ještě funkce map, reduce, filter a nebo rekurzi.