我怀疑 λProlog 需要一个类型系统来使它们的
高阶统一听起来不错。否则通过自我应用
可能会出现一些罗素型异常。
是否有不需要 .sig 文件的替代高阶 Prolog?
也许通过一个更简单的类型系统,不需要那么多
声明但仍然有某种形式的高阶统一?
这个困境能解决吗?
我怀疑 λProlog 需要一个类型系统来使它们的
高阶统一听起来不错。否则通过自我应用
可能会出现一些罗素型异常。
是否有不需要 .sig 文件的替代高阶 Prolog?
也许通过一个更简单的类型系统,不需要那么多
声明但仍然有某种形式的高阶统一?
这个困境能解决吗?