Class 30: Language Construction

Transcription

1 Class 30: Language Construction Menu Checking Grades Plans for Exam 2 Completing the Charme Interpreter History of Object-Oriented Programming cs1120 Fall 2009 David Evans Software Voting Univac predicts big win for Eisenhower (1952) We do have people complain and say they don t get it, I completely understand what they re saying, but it's not something I can control. Sheri Iachetta, Charlottesville general registrar Recap To build an evaluator we need to: Figure out how to represent data in programs Last class: program text, Environment Today: Procedures, primitives Implement the evaluation rules For each evaluation rule, define a procedure that follows the behavior of that rule. Friday: application Last class: definitions, names Today: special forms, primitives def meval(expr, env): if isprimitive(expr): return evalprimitive(expr) elifisif(expr): returnevalif(expr, env) elifisdefinition(expr): evaldefinition(expr, env) elif isname(expr): return evalname(expr, env) elif islambda(expr): return evallambda(expr, env) elif isapplication(expr): return evalapplication(expr, env) error ('Unknown expression...) How should we represent procedures? Representing Procedures (lambda (x) (+ x x)) Environment pointer Input parameters (in mouth) x (+ x x) Procedure Body

2 Procedure Class class Procedure: def init (self, params, body, env): self._params = params self._body = body self._env = env def getparams(self): return self._params def getbody(self): def mapply(proc, operands): return self._body if(isprimitiveprocedure(proc)):... def getenvironment(self): elif isinstance(proc, Procedure): return self._env params = proc.getparams() def str (self): newenv = Environment(proc.getEnvironment()) return'<procedure for %s i in /%s>' range(0, %(str(self._params), len(params)): str(self._body)) newenv.addvariable(params[i], operands[i]) returnmeval(proc.getbody(), newenv) Evaluating Lambda Expressions def isspecialform(expr, keyword): return isinstance(expr, list) and len(expr) > 0 and expr[0] == keyword def islambda(expr): return isspecialform(expr, 'lambda') parse("(lambda (a) (+ a 1))")[0] ['lambda', ['a'], ['+', 'a', '1']] def evallambda(expr,env): assert islambda(expr) if len(expr)!= 3: evalerror("bad lambda expression: %s" % str(expr)) return Procedure(expr[1], expr[2], env) def meval(expr, env): if isprimitive(expr): return evalprimitive(expr) elifisif(expr): returnevalif(expr, env) elifisdefinition(expr): evaldefinition(expr, env) elif isname(expr): return evalname(expr, env) elif islambda(expr): return evallambda(expr, env) elif isapplication(expr): return evalapplication(expr, env) error ('Unknown expression...) Recap Making Primitives Evaluation Rule 1: Primitives A primitiveevaluates to its pre-defined value. To implement a primitive, we need to give it its pre-defined value! Primitives def isprimitive(expr): return (isnumber(expr) or isprimitiveprocedure(expr)) def isnumber(expr): return isinstance(expr, str) and expr.isdigit() def isprimitiveprocedure(expr): return callable(expr) def evalprimitive(expr): if isnumber(expr): return int(expr) return expr Making Primitive Procedures def primitiveplus (operands): if(len(operands) == 0): return 0 return operands[0] + primitiveplus (operands[1:]) def primitiveequals(operands): checkoperands (operands, 2, '=') return operands[0] == operands[1] def mapply(proc, operands): if(isprimitiveprocedure(proc)): return proc(operands) elif isinstance(proc, Procedure):... To apply a primitive procedure, just do it.

3 So, what do we do with the primitives? def initializeglobalenvironment(): global globalenvironment globalenvironment = Environment(None) globalenvironment.addvariable('true', True) globalenvironment.addvariable('false', False) globalenvironment.addvariable('+', primitiveplus) globalenvironment.addvariable('-', primitiveminus) globalenvironment.addvariable('*', primitivetimes) globalenvironment.addvariable('=', primitiveequals) globalenvironment.addvariable('zero?', primitivezero) globalenvironment.addvariable('>', primitivegreater) globalenvironment.addvariable('<', primitivelessthan) Evaluation Rule 5: If IfExpression ::= (if Expression Predicate Expression Consequent Expression Alternate ) To evaluate an if expression: (a) Evaluate Expression Predicate. (b) If it evaluates to a false value, the value of the if expression is the value of Expression Alternate ; otherwise, the value of the if expression is the value of Expression Consequent. 14 Making Special Forms All Done! def isif(expr): return isspecialform(expr, 'if') def evalif(expr,env): assert isif(expr) if len(expr)!= 4: evalerror('bad if expression: %s' % str(expr)) if meval(expr[1], env)!= False: return meval(expr[2],env) return meval(expr[3],env) def meval(expr, env): if isprimitive(expr): return evalprimitive(expr) elifisif(expr): returnevalif(expr, env) elifisdefinition(expr): evaldefinition(expr, env) elif isname(expr): return evalname(expr, env) elif islambda(expr): return evallambda(expr, env) elif isapplication(expr): return evalapplication(expr, env) error ('Unknown expression...) This is a universal programming language we can define every procedure in Charme. History of Object-Oriented Programming Sketchpad Ivan Sutherland s 1963 PhD thesis (supervised by Claude Shannon) Object-oriented programming is an exceptionally bad idea which could only have originated in California. Edsger Dijkstra Interactive drawing program Light pen

4 Objects in Sketchpad Components in Sketchpad In the process of making the Sketchpad system operate, a few very general functions were developed which make no reference at all to the specific types of entities on which they operate.these general functions give the Sketchpad system the ability to operate on a wide range of problems. The motivation for making the functions as general as possible came from the desire to get as much result as possible from the programming effort involved. For example, the general function for expanding instances makes it possible for Sketchpad to handle any fixed geometry subpicture. The rewards that come from implementing general functions are so great that the author has become reluctant to write any programs for specific jobs. Each of the general functions implemented in the Sketchpad system abstracts, in some sense, some common property of pictures independent of the specific subject matter of the pictures themselves. Ivan Sutherland, Sketchpad: a Man-Machine Graphical Communication System, 1963 Considered the first object-oriented programming language Language designed for simulation by Kristen Nygaardand Ole-Johan Dahl (Norway, 1962) Had special syntax for defining classes that packages state and procedures together Simula Counter in Simula classcounter; integer count; begin procedure reset(); count := 0; end; procedure next(); count := count + 1; end; integer procedure current(); current := count; end; end Does this have everything we need for object-oriented programming? Object-Oriented Programming Object-Oriented Programming is a state of mindwhere you program by thinking about objects It is difficult to reach that state of mind if your language doesn t have mechanisms for packaging state and procedures (Python has class, Scheme has lambda expressions) Other things can help: dynamic dispatch, inheritance, automatic memory management, mixins, good donuts, etc. XEROX Palo Alto Research Center (PARC) 1970s: Bitmapped display Graphical User Interface Steve Jobs paid $1M to visit and PARC, and returned to make Apple Lisa/Mac Ethernet First personal computer (Alto) PostScript Printers Object-Oriented Programming

5 Dynabook, 1972 Dynabook 1972 (Just a model) Don t worry about what anybody else is going to do The best way to predict the future is to invent it. Really smart people with reasonable funding can do just about anything that doesn't violate too many of Newton's Laws! Alan Kay, 1971 Tablet computer intended as tool for learning Alan Kay wanted children to program it also Hallway argument, Kay claims you could define the most powerful language in the world in a page of code Proof: Smalltalk Scheme is as powerful, but takes two pages Before the end of the course, we will see an equally powerful language that fits in ¼ page BYTE Magazine, August 1981 Smalltalk Everything is an object Objects communicate by sending and receiving messages Objects have their own state (which may contain other objects) How do you do 3 + 4? send the object 3the message + 4 Counter in Smalltalk class name counter instance variable names count newcount <-0 nextcount <-count + 1 current ^ count So, who really was the first object-oriented programmer? Object-oriented programming is an exceptionally bad idea which could only have originated in California. Edsger Dijkstra

6 By the word operation, we mean any process which alters the mutual relation of two or more things, be this relation of what kind it may. This is the most general definition, and would include all subjects in the universe. Again, it might act upon other things besides number, were objects found whose mutual fundamental relations could be expressed by those of the abstract science of operations... Supposing, for instance, that the fundamental relations of pitched sounds in the science of harmony and of musical composition were susceptible of such expression and adaptations, the engine might compose elaborate and scientific pieces of music of any degree of complexity or extent. Charge Friday: changing the language rules PS7 due Monday Remember to vote (early and often!) in the Exam 2 poll before 5pm Thursday. Ada, Countess of Lovelace, around 1843