Kai - 代码之家

Kai · 技术社区 · svn visual-studio-2008 visual-studio c# · 15 年前

获取prolog中谓词的所有解

Kai · 技术社区 · prolog · 16 年前

在gprolog中声明动态谓词

Kai · 技术社区 · prolog · 16 年前

smlnj有任何类型的调试器吗?

Kai · 技术社区 · smlnj · 16 年前

SML函数调用不将参数分析为参数

Kai · 技术社区 · smlnj sml · 16 年前

如何强制SML中的类型(如强制转换)

Kai · 技术社区 · smlnj sml · 16 年前

如何在SML中打印案例陈述?

Kai · 技术社区 · smlnj sml · 16 年前

在列表中查找元素的Scheme函数是什么?

Kai · 技术社区 · scheme lisp · 16 年前

什么是类型推断器?

Kai · 技术社区 · type-systems type-inference types programming-languages · 16 年前

在DrScheme的R5R实现中,您是如何停止的?

Kai · 技术社区 · racket scheme · 16 年前

Kai · 技术社区 · scheme lisp · 16 年前

如何判断列表中是否有第三项?

Kai · 技术社区 · scheme lisp · 16 年前

let语句的Lisp求值

Kai · 技术社区 · interpreter scheme lisp · 16 年前

如何在DrScheme中重新定义常量标识符?

Kai · 技术社区 · racket scheme · 16 年前