notes about optional parameter value

pull/14/head
pca006132 2020-12-16 16:04:42 +08:00 committed by pca006132
parent e7839efdc0
commit 16b427d0e9
1 changed files with 11 additions and 0 deletions

View File

@ -51,6 +51,17 @@ class Foo(EnvExperiment):
* No implicit coercion, require implicit cast. Integers are int32 by default,
floating point numbers are double by default.
* RPCs: optional parameter type signature, require return type signature.
* Value of the optional parameter would be created by the caller, and
independent between different invokations. The following code would always
output 2 `1`, instead of `1` and `2` for actual Python:
```py
def test(a = [1]):
print(a)
a[0] += 1
test()
test()
```
## Generics
We use [type variable](https://docs.python.org/3/library/typing.html#typing.TypeVar) for denoting generics.