Názor k článku
NSA nabádá organizace, aby používaly jazyky, které bezpečně pracují s pamětí od Calculon - Větev kódu, kam se výpočet nikdy nedostane :)...

Větev kódu, kam se výpočet nikdy nedostane :) Na to má Idris zabudovanou funkci “absurd”, tak se dá již v době překladu zajistit, že se tam program opravdu nikdy nedostane. Geniální věc.