bigint and symbol don’t really fit well into this post
symbol makes me think of belief values like “boo” and “yay”. Although, I don’t know if you’d consider these real beliefs. It seems like a lot of peoples’ type systems allow these values though.
Hm. I’m shouldn’t have said that symbol doesn’t fit well into the post. I actually don’t understand it well enough to say that.
I would be ok calling “boo” and “yay” beliefs in the context of this post. In some sort of strict sense I’d want to say that beliefs can only have the type of number (between 0 and 100 exclusive), but in a looser sense I think it’s probably fine to call things like “boo”, “yay”, true, false, null, etc all beliefs as well.
Edit: Perhaps these “boo” and “yay” beliefs you reference are the type of thing described in Professing and Cheering.
symbolmakes me think of belief values like “boo” and “yay”. Although, I don’t know if you’d consider these real beliefs. It seems like a lot of peoples’ type systems allow these values though.Hm. I’m shouldn’t have said that
symboldoesn’t fit well into the post. I actually don’t understand it well enough to say that.I would be ok calling “boo” and “yay” beliefs in the context of this post. In some sort of strict sense I’d want to say that beliefs can only have the type of number (between 0 and 100 exclusive), but in a looser sense I think it’s probably fine to call things like “boo”, “yay”, true, false, null, etc all beliefs as well.
Edit: Perhaps these “boo” and “yay” beliefs you reference are the type of thing described in Professing and Cheering.