From 09234a416b65f7d70fdc4d0d0b5e82642e179524 Mon Sep 17 00:00:00 2001 From: pca006132 Date: Tue, 19 Jan 2021 15:39:37 +0800 Subject: [PATCH] added questions for optional type and type guard --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 7ca92ec..dd80ded 100644 --- a/README.md +++ b/README.md @@ -126,6 +126,11 @@ class Foo(EnvExperiment): * Type variable cannot occur alone in the result type, i.e. must be bound to the input parameters. +Questions: +* Should we support things like optional type? (like the one in rust) +* Would it be better to assert on the type variable directly instead of + `type(x)` for type guards? + ## Dynamic Dispatch Type annotations are invariant, so subtype (derived types) cannot be used when the base type is expected. Example: