首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类：
unification
Prolog:程序中的统一或回溯错误
javascript - JavaScript 中的一等变量
algorithm - Haskell 递归方案 : Traverse two structures simultaneously
type-conversion - Coq:测试部分可转换性
prolog - 最通用的统一符(Prolog)
list - Prolog - 如何返回每个元素仅出现一次的列表？
prolog - 类似Prolog的统一可以用无点的方式表达吗？
f# - 通过变革实现统一
with-statement - 为什么 agda with-abstract 不删除一些子句？
javascript - Clojure 启发的传感器可以使用 HM 类型系统进行类型化吗？
prolog - Prolog 中的统一
Prolog:算术表达式和常数的统一
haskell - 手动推导 `zipWith . uncurry`的类型
parsing - idris 统一意外失败
recursion - 与递归数据类型的统一
haskell - 禁止赋值
functional-programming - 如何与 Elm 中的多态子组件通信？
prolog - 统一术语顺序重要吗？
haskell - fix 只能用非严格评估语言输入吗？
coq - 统一在 Coq 核心类型系统中的作用是什么？
«
1
2
3
4
5
»
热门标签：
编程
数据结构与算法
其他