Tak ta filozofie není nic nového, že. Je vidět na mnoha místech, třeba i na takovém prachsprosém SQL - "Prosím tě, nic nevymejšlej. Jen mi řekni, co chceš.".
Pak je ještě ten problém, že často musím řešiš kompromisy. Rychlost, kolegy, komunita,... Dřív jsem si myslel, že ten ideální kompromis je Haskell. Nyní používám Rust. Agda, nebo Idris je pro mě (zatím) neprozkoumaná oblast.