Unfortunately, since -> is used for the lambda itself, we can't also use it for the return type annotation. Thus, instead, we'd be forced to implement something like
f = def (x: int): int -> x
which is somewhat confusing, making this a bit questionable.
Unfortunately, since
->
is used for the lambda itself, we can't also use it for the return type annotation. Thus, instead, we'd be forced to implement something likewhich is somewhat confusing, making this a bit questionable.