v6 Semantics

Type checker

expression types
assignment compatibility
call arity + types
return types

Inference

from initializer
empty collections need annotation

1 / 1

Use arrow keys or click edges to navigate. Press H to toggle help, F for fullscreen.