programming-languages - 有哪些理论和/或实验性编程语言特性？

Question

我正在设计一种编程语言，纯粹是为了好玩，我想添加尽可能多的实验性功能，只是为了让编程变得完全不同，而不是像 Brainf*ck 或 Malbolge 那样糟糕。

然而，我似乎不太擅长为它想出新东西，但我相信有很多东西已经被讨论过但从未真正尝试过。

目前有哪些主流语言没有实现的实验性语言特性或概念？

例如:如果我在 1960 年问这个问题，答案可能是“面向对象的编程”。

我敢肯定，计算机科学家(最近)提出了很多未实现的想法，至少我被告知是这样。

Answer 1

当前的一个研究领域是 dependent types .还有很多事情你可以用这些做，还没有完成。