C+-

这是针对英文原版页面的中文翻译。

C+-:(读音是"C多少")

与 C++ 不同,C+- 是一门面向主体的语言。每个 C+- 类实例被称为一个主体(subject),它包含隐藏成员,即偏见或未声明的偏好,这些成员对外部消息具有免疫力,同时还包含公有成员,即夸耀或声称。以下 C 运算符按所示方式被重载:

> 好于

< 差于

>> 超好于

<< 忘了它

! 绝不可能

== 在其他条件相同时具有可比性

C+- 是一门基于刻板印象和自以为是逻辑的强类型语言。布尔变量 `TRUE` 和 `FALSE`(在更不切实际的语言中被称为常量)得到了 `CREDIBLE` 和 `DUBIOUS` 的补充,它们比 Zadeh 的传统模糊类别更加模糊。所有布尔值都可以用修饰符 strong 和 weak 来声明。弱蕴含据称可以"保留可否认性",并且应美国国防部的要求添加,以确保与未来版本的 Ada 兼容。结构良好的谬误(WFF)与所有布尔值在赋值上兼容。"如果......会怎样"和"为什么不"的交互由特殊的条件语句 `evenifnot X then Y` 来辅助。

C+- 支持信息隐藏,并且仅在友元类之间支持谣言共享。借鉴 Eiffel 的术语,非友元类可以通过订立契约来被"消灭"。请注意,友元关系是不可传递、易变的,并且是非阿贝尔的(不可交换的)。

C+- 的单继承和多继承机制通过随机突变来实现。取消继承的规则由一套复杂的遗嘱认证协议来涵盖。除了基类、派生类、虚类和抽象类之外,C+- 还支持"直觉类"(gut classes)。在某些地区,允许一夫多妻式的派生和"私生子类"(bastard classes)。在其他地方,类之间的松散耦合是非法的,因此可能需要使用"结婚"(marriage)和"离婚"(divorce)运算符:

marriage (MParent1, FParent1);
// child classes can now be derived
sclass MySclass: public MParent1, FParent1
{ // define MySclass
}
sclass YourSclass: public MParent1, FParent2
// illegitimate
divorce (MParent1, FParent1);
marriage (MParent1, FParent2);
sclass YourSclass: public MParent1, FParent2
{ // OK now
}

运算符优先级规则可以通过指令 `#pragma dwim` 来暂停,该指令被称为"做我想做的事"(Do What I Mean)编译指示。C+- 将坚决抵制 ANSI 标准化。C+- 的口号是"做你自己的标准"。

原始邮件