3 ms·
The operator `expr :~ annot` simply attaches the static information to the expression. The operator `expr :: annot` will at runtime insert a check that the ex
by soegaard 2y ago
The operator `expr :~ annot` simply attaches the static information to the expression.
The operator `expr :: annot` will at runtime insert a check that the expression satisfies the annotation.
- scotty79 2y agoWhat if I want both behaviors at the same time? Have some static information attached and also do a runtime check?