From 56215cbac1ff4af7d3bf6a278397a4f42dbf9dce Mon Sep 17 00:00:00 2001 From: pca006132 Date: Tue, 22 Dec 2020 15:38:39 +0800 Subject: [PATCH] added readme for toy implementation --- toy-impl/README.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 toy-impl/README.md diff --git a/toy-impl/README.md b/toy-impl/README.md new file mode 100644 index 0000000..6cb198a --- /dev/null +++ b/toy-impl/README.md @@ -0,0 +1,21 @@ +# 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. + +