Skip to content

New data type: `Unique`

Compare
Choose a tag to compare
@BHznJNs BHznJNs released this 13 Aug 11:15
· 12 commits to master since this release
  • Unique is a "unique" data type, it can be constructed from Raw-String value. However, every Unique value is unique. You can create two Unique value from a same String, but the two Unique are actually different, just like Symbol in JavaScript. Unique can be constructed from standard function unique
  • Changed type constants (NUMBER, STRING etc.) from Number typed to Unique typed, and the standard function type now returns Unique typed value.
  • More type annotations added, see Tutorials - syntax - function for more detail.