↧
Answer by Billy Brown for giving types for expressions
You have the value [ [], [[]], [[[]]], [[[[]]]], [[[[[ ]]]]] ], which is a list of nested lists.The rightmost value is the most constrained: we know how deeply nested this list must be.The leftmost...
View ArticleAnswer by assembly.jc for giving types for expressions
To understand why the expression: [ [], [[]], [[[]]], [[[[]]]], [[[[[ ]]]]] ] has type [[[[[[a]]]]]], you need to understand what is the type of [] first. Actually, [] is equivalent to [a'], where a'...
View Articlegiving types for expressions
So I'm being asked to "Give possible types (not involving any type variables) for eachof the following expressions (or else explain why you think theexpression is ill-typed)"and I'm struggling with the...
View Article