[racket] object-language in redex/tutorial.html

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Jul 29 22:56:52 EDT 2014

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



Posted on the users mailing list.