Názor k článku Common Lisp: žralok mezi programovacími jazyky od Calculon - “datová struktura, kde některé položky omezují hodnoty jiných” Některé...

“datová struktura, kde některé položky omezují hodnoty jiných”

Některé jazyky toto a podobné věci v typovém systému (s kontrolu v době překladu) umí, ale nejsou zrovna rozšířené (kromě jistých kruhů) :)