graduate_code/starters/language.py

All lab code. Download this file.

# Exercise scaffold. Reference implementation is in a separate directory.
"""G02: typed, pure, finite expressions. No eval or host-language calls.
AST: int, bool, variable str, ('+',a,b), ('*',a,b), ('<',a,b),
('if',condition,then,otherwise), ('let',name,value,body).
"""

def infer(expr, env=None, depth=0):
    raise NotImplementedError('Implement this contract from the book.')

def evaluate(expr, env=None):
    raise NotImplementedError('Implement this contract from the book.')