nac3-spec/toy-impl
pca006132 56215cbac1 added readme for toy implementation 2020-12-22 15:38:39 +08:00
..
README.md added readme for toy implementation 2020-12-22 15:38:39 +08:00
helper.py implementing function call check 2020-12-18 13:03:36 +08:00
inference.py virtual class 2020-12-21 13:53:59 +08:00
parse_expr.py implemented basic statements 2020-12-22 15:14:34 +08:00
parse_stmt.py fixed return bug 2020-12-22 15:20:42 +08:00
test_expr.py added name clash check 2020-12-21 15:08:55 +08:00
test_inference.py fixed variables 2020-12-18 13:09:15 +08:00
test_stmt.py implemented basic statements 2020-12-22 15:14:34 +08:00
test_subst.py implementing function call check 2020-12-18 13:03:36 +08:00
test_top_level.py implementing function call check 2020-12-18 13:03:36 +08:00
top_level.py fixed bot type 2020-12-21 09:38:37 +08:00
type_def.py implementing function call check 2020-12-18 13:03:36 +08:00

README.md

Toy Implementation

Currently the rough implementation is done, works remain are the code for checking a real python script, getting the type variables, some implementation details etc.

These features are considered in the proposal, but would not be implemented here for simplicity reasons:

  • Referencing Python Variables.
  • range type.
  • Storing large constants as uint32, int64 or uint64.
  • AugAssign, a += b etc.
  • with, try except, etc.

These features are currently not implemented, and would be added in due course:

  • Whole script check.
  • Type guards.
  • Primitive type methods and operations.
  • Method override check.
  • Better error messages.