search

ct-gradual-typing / Papers

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

Improvements to TypeChecker #2

Closed michaelto20 closed 8 years ago

michaelto20 commented 8 years ago

In TypeChecker:

  1. Implement ReaderT monad transformer
  2. Use except monad transformer, where you must catch the exception
  3. Put exception handling in REPL
  4. Make data type for each exception
  5. Implement Data.Map for type TyCtx
michaelto20 commented 8 years ago

Completed steps 4 and 5

michaelto20 commented 8 years ago

Moved exception code into it's own module

michaelto20 commented 8 years ago

Completed step 3

michaelto20 commented 8 years ago

All changes implemented