How do we name our language? #6
-
|
We need to find the name of the language, so share your ideas. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 2 replies
-
Proposal: name the language ∀ (pronounced “for all”).∀ is a clear mathematical symbol that communicates generality and abstraction, matching the project’s identity and goals. It creates a distinctive, memorable brand without affecting tooling. To avoid any compatibility issues, the symbol is used only in documentation and branding. All technical identifiers will remain ASCII: forall or forall-lang for the metadata, package names ... The executable must stay |
Beta Was this translation helpful? Give feedback.
-
|
"For all", or even "forall", isn't that great of a name IMO, having plain english words that could be difficult to tell apart as the language's name inside of a sentence with less context. Though, I think ∀ is a good lead: we could name the language Quant (pronounced "Kant"), from the name of the symbol (the universal quantifier). I haven't seen it used anywhere. |
Beta Was this translation helpful? Give feedback.
-
|
I think Quant is a good idea. |
Beta Was this translation helpful? Give feedback.
I think Quant is a good idea.