typ polimorficzny
Option型
Typ Optional
Tipo opcional
July 2022
Option type
encapsulation of an optional value in programming or type theory
the definition
example usage
可选类型
存在しない可能性のある値をカプセル化して表す多相型