search

ct-gradual-typing / Papers

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

Tasks for 1/23 #51

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago
  1. Change error messages for FreeVarsError to something like: "This variable has not been defined"
  2. FstError/SndError: This type is not a product type
  3. Clarify TAppError, when is that thrown, is type A given but type B is found
  4. NotProdTypeTerm, T is supposed to have a product type but has ty type
  5. Same thing for NotArrowTypeTerm

  6. Look through the others and see if I can clarify them

    Do this in core repl: Use new new data types in Repl to add different types of elements to queue:

  7. Implement command: decvar with 2 arguments, variable name and a type
  8. Then add this variable to the queue
  9. Any time you use the queue, case split over the two types that can be in the queue This should allow evaluating the church encoded examples
michaelto20 commented 7 years ago

On implementing the new data type for the queue. I've tried three different ways. On Monday, let's discuss how to do this in a little more detail to help me get over this hump.