Hlavní navigace

Názor ke článku Frázové a abstraktní syntaktické stromy od Radek Miček - @35 Ještě k těm proměnným. Nepochopil jsem, co...

  • 6. 1. 2012 14:56

    Radek Miček (neregistrovaný) 94.113.137.---

    @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.