Oscar Campbell
Oscar Campbell
`of?` is Onyx naming for `is_a?` - a naming I find to be more exact in meaning, more terse, and better looking. "X" can't _be_ a SuperType, TraitA _and_ TraitB...
Regarding getting the declaration type vs the current type at run-time, which I didn't list above, I think these are reasonable telling choices (don't know about level of abbreviation /...
Well. One more thought on variation for the get-types: ``` onyx t = dtype-of some-var t = some-var.atype-of -- more verbose: t = decl-type-of some-var t = some-var.acting-type-of -- or...
I'll just mention that in my local repo (not pushable atm) you can also use `isnt` and `not` (and redundantly `is`) in _operator position. Which works nicely with above: ```onyx...
Just checked the source — that's implemented too. :)
These are very specific sugars for very specific narrow-use methods. I went down the road of zillions of operators in Jytron, about two-three years ago, and finally concluded that they...
This has parallels to #89 also.
1) If you want a variable that only can hold natural numbers (including 0...), then you need a Natural data type. Unsigned is a data type used for technical legacy...
The idea is simply that it follows the same pattern as Int: defaults to architecture pointer width (unless unreasonable for the specific arch), but can be chosen explicitly. And naturally...
Where a number of natural type is needed, it's better to be able to type it in the program and get the help that types are for, instead of implementing...