search

ct-gradual-typing / Papers

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

Tasks for 10/31 #18

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago
  1. Fix squash and split, add to aterm
  2. Makes more examples, include what the output should be: a. include types that don't fail in a file b. include types that do fail in another file c. include types that push the constraints for each type d. look into using QuickCheck i. generate types ii. generate random expressions
  3. Make a branch (after finishing TypeChecker and merged into master) to start implementing loading and reloading a file into the REPL