FinalF04 - Design of Programming Languages - Fall 2004...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Design of Programming Languages - Fall 2004 Final Exam December 21, 2004 Do any 8. 1. (10 pts) Type Judgments and ML code . You are given the ARRAY-GET type judgment: Γ ξ , Γ φ , Γ ρ ` e 1 : ARRAY( τ ) Γ ξ , Γ φ , Γ ρ ` e 2 : INT Γ ξ , Γ φ , Γ ρ ` ARRAY-GET( e 1 , e 2 ) : τ Within the functiom fun typeof (e, globals, functions, formals) of typed Impcore, you have the function ty , which takes only the expression e as an argument, using the remaining arguments of typeof as free variables and returns the type of its argument according to the type judgment above. (7 pts)Write the code completing ty(AGET(a, i)) where (AGET(a, i)) is the appropriate form of the expression e . (3 pts) In which type judgments will you specifically need to access or modify the three type environments, Γ ξ , Γ φ , and Γ ρ ? You don’t need to provide full details - just the names. 2. (10 pts) Higher Order Functions - either μ Scheme or ML . Filter is a function that normally takes a pair of parameters, a function, and a list, and returns the sublist of the original list consisting of all those elements which produce true when evaluated by the function parameter. The original list is unchanged. (5 pts) Define a Curried version of Filter . (5 pts) Using this version of Filter define a function - in the same language as the first part - that will take a list of integers and return the list of those that are multiples of 4....
View Full Document

This note was uploaded on 02/13/2012 for the course CS 91.531 taught by Professor Giam during the Fall '09 term at UMass Lowell.

Page1 / 4

FinalF04 - Design of Programming Languages - Fall 2004...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online