类型状态是面向对象编程中使用的状态机，用于指定和验证对象上方法调用的正确顺序。为了避免不一致的对象状态，类型状态强制执行线性类型化，这样可以消除（或者最多可以消除）别名。。。

声明式编程语言Curry将函数式编程的需求驱动评估与逻辑编程的非决定论相结合。与Prolog不同，非确定性计算的搜索策略是不固定的，因此。。。

多态RPC演算允许程序员使用多态位置构造编写简洁的多层程序。然而，到目前为止，它还没有实现。我们开发了一种基于多态RPC的实验性编程语言。。。