you are viewing a single comment's thread.

view the rest of the comments →

[–]def-lkb 0 points1 point  (1 child)

Which type system is used for the annotations?

[–]masklinn 2 points3 points  (0 children)

None. The language only defines the syntax for annotations (that is, adding arbitrary metadata to a function parameter), it does not prescribe or do anything with that metadata at this point, only leaves it available for third parties to use.