QV - Tmath

Search…

One concept for all

Polymorphism
Q
Inside object
V(value)
*
{i-set}
*
{querying function}
object
{assert, result}
{qualifier}(target)
object
validator: {comparable}
{quality}
...
VS: {comparable & numeric}
V(Validator) can be set of bools, while when Q=quality, then boolean is not an option. It must be higher order comparable, that is numeric.
1
// Some code
2
​
3
let x = Object(*params)
4
qxv = QV(x)
5
​
6
Set.add(o)
7
Q(S, x) | x in? S => always #yes  
Copied!

Metaobjects - Previous

⍡

Next - Metaobjects

Convex ontology

Last modified 4mo ago

Copy link

Edit on GitHub