How ~ Became Quasi-BLANK!

Prior to modern quasiforms, ~ was a special "BAD-WORD! with no name", e.g. a null spelling:

>> type of '~
== #[datatype! bad-word!]

>> as text! '~
; null

So unlike regular WORD!, it was possible to have a BAD-WORD! that had no UTF-8 representation. (Yes, this was a sign that something was amiss.)

However, I liked having ~ be something that could be reserved by the system, and I thought the "bad-wordness" plus the lack of any associated text made it a good choice for being what we'd call "trash"

>> if trash? '~ [print "Yup, that's a trash"]
Yup, that's a trash.

>> '~  ; console would not show by default

>> mold print "So ~ was the result of things like PRINT"
So ~ was the result of things like PRINT
== "~"

(You can re-read my explanation of why void is a bad return value for things like PRINT or HELP.)

You could put these BAD-WORD!s in blocks, which made them kind of a lousy choice for the result of a PRINT. So when isotopes came on the scene, it seemed a much better idea to say that trash was the antiform of something.

So I ultimatley settled on the idea that ~ was the quasiform of BLANK! (as opposed to ~_~, which looks pretty bad):

>> quasi _
== ~

>> ~
== ~  ; anti

>> quasi? '~
== ~true~  ; anti

>> trash? ~
== ~true~  ; anti

But... Would It Make More Sense Related to Void?

Initially I was at something of a loss for how void fit into the isotopic world.

One of my early reasonings was that VOID was more "etheric" than NULL. So perhaps void was actually the antiform of null, and ~ could be null's quasiform:

 >> quasi null
 == ~

 >> ~
 ; void

But this was confusing, since if ~ was the meta of void, there really isn't any such thing as a "~ isotope. You could never make one, because I thought it needed to vaporize.

>> 1 + 2 ~
== 3

I was bothered by taking it for this purpose, because I was pretty attached to ~ for representing unset variables. It looked clean, letting you see the things you've set and haven't:

>> f: make frame! :append

>> f.dup: 2
>> f.value: "a string"

>> f
== make frame! [
    series: ~
    value: "a string"
    part: ~
    dup: 2
    line: ~

It wasn't just in these printouts, also in source. Being able to simply type (x: ~) to unset a variable and have that be the right way to do an object field or just in code, was just too good.

That made me feel pretty attached to the idea that ~ is the contents of an unset variable, which is not displayed by the terminal, and which is ornery to things like ANY or ALL.

1 Like

A post was split to a new topic: The ^META of NULL and VOID