Gradual Typing

Creator
Creator
Seonglae ChoSeonglae Cho
Created
Created
2021 Jul 23 9:12
Editor
Edited
Edited
2021 Jul 23 9:26
Refs
Refs
gradual typing uses a special type named dynamic to represent statically-unknown types
gradual typing replaces the notion of type equality with a new relation called consistency that relates the dynamic type to every other type
 
 
일부 정적 일부 동적
  • unknown keyword
  • dynamic keyword
 
 
 

Recommendations