This reference is to the 'object of study' not some Java dialect. Redex is a language for studying languages. The latter are called the object of interest. The Redex language -- in this context -- is a meta-language. Those are terms borrowed from philosophy/logic.
-- Matthias On Jul 29, 2014, at 10:30 PM, Anthony Carrico wrote: > What does "object-language" mean in > http://docs.racket-lang.org/redex/tutorial.html ? > > It pops up first here: > > "Once we have defined the grammar, we can ask Redex if specific terms match > the grammar. This expression checks to see if the e non-terminal (from L) > matches the object-language expression (λ (x) x)." > > That term isn't in the defined language L (no type), so the match fails. Then > object-language pops up again in Exercise 1: > > "Use redex-match to extract the body of the function from this > object-language program: > > ((λ (x) (+ x 1)) > 17)" > > Is object-language a predefined language? Or does the exercise expect me to > use define-language to create an appropriate object-language without types? > > -- > Anthony Carrico > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
