Vlákno názorů k článku ML – funkcionální jazyk s revolučním typovým systémem od Ink - Skoro všechny jazyky, které mě v posledních cca...

Skoro všechny jazyky, které mě v posledních cca 10-15 letech oslovily, vycházely do značné míry z ML - OCaml, Haskell, Clean, Scala, Rust. ML a jeho nástupci mi pomohli pochopit, že "geniální" věci, které jsem poznal do té doby, lze do značné míry vyjádřit jinak - jednodušeji, bezpečněji a přirozeněji.

Nakonec se velkým obloukem vrátíme k Lispu :)

Lisp je základ, v tom jde všechno. Tady podle mě záleží dost na tom, jestli je v pohodě jazyk "bez syntaxe" nebo ne. ;)

IMHO víc záleží na tom, jestli je v pohodě jazyk bez statického typového systému. S-výrazy svou syntax mají, stejně jako YAML nebo JSON. A homoikonicita je koneckonců docela sympatická vlastnost.

Tak teoreticky lze nasadit typovaný lambda kalkul, dokonce to snad nějaký LISP zkoušel. A byl z toho úplně jiný jazyk :-)