我正在设计一种编程语言,纯粹是为了好玩,并希望尽可能多地添加实验性功能,只是为了使编程完全不同,并且不像Brainf*ck或Malbolge那样糟糕.
然而,我似乎很难为它提出新的东西,但我确信那里有很多东西已被讨论但从未真正尝试过.
例如:如果我问这个问题,让我们说,1960年,答案可能是"面向对象编程".
我确信计算机科学家(最近)提出了很多未实现的想法,至少我被告知过.
DWIMNWIS（做我的意思，而不是我说的）。
更严重的是，一个绝对伟大的功能（实现起来非常困难甚至不可能）是能够证明语言的程序不包含并发问题。
至于必须具备的功能，我想说的是lambda和First-class 函数。不完全是新的或理论上的（Lisp 今年多大了），但功能强大且在许多语言中都缺失。