User Tools

Site Tools


plt17:assignment_3

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
plt17:assignment_3 [2017/10/17 20:30]
hossein [Language]
plt17:assignment_3 [2017/12/05 12:16] (current)
hossein [Language]
Line 27: Line 27:
 </​code>​ </​code>​
  
-Your program will infer the following types for a given expression. ​Note that the type variables are intended for the intermediate stages of inference. Your program will either find a type error in an expression, or, it infers a fully determined type with no type variables in it.+Your program will infer the following types for a given expression. ​The type variables are intended for the intermediate stages of inference. ​ 
 +Your program will either find a type error in an expression, or, it infers a fully determined type with no type variables in it
 +As an example, your analyzer is not allowed to accept expressions like Lambda("​x",​ Var("​x"​)) that have type variables in their final types.
  
 <code scala> <code scala>
plt17/assignment_3.txt · Last modified: 2017/12/05 12:16 by hossein