SELF^2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计

设计了一种新人工智能编程语言SELF^2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF^2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF^2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF^2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF^2语言核仁及SELF^2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF^2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集。