search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Changes to box and unbox #9

Closed michaelto20 closed 7 years ago

michaelto20 commented 8 years ago

Implement changes from syntax rules for box and unbox. Unbox now takes in an expected type, T. Unbox should check to make sure t can be "casted" to T.

michaelto20 commented 8 years ago

Changes implemented.

However, syntax rules have changed so now modify Box with new rules in draft.