@35 Ještě k těm proměnným. Nepochopil jsem, co přesně myslíte tím všechny atomické hodnoty.
Proměnnou Harper myslí pojmenované volné místo, které má nějakou sortu a lze tam substituovat jiný AST. Například jazyk pro sčítání reálných čísel bude mít nulární operátor pro každé reálné číslo a jeden binární operátor pro sčítání. Bude tam jediná sorta výraz. Zápisem plus(1, x) rozumím příslušný AST a mohu například za x substituovat AST 3.5. Tím dostanu AST plus(1, 3.5), a pokud tomu jazyku přiřadím standardní dynamiku tak to redukuji na AST 4.5.
