types - Scheme中定义表达式的类型

Question

简单地说:我的问题是 Scheme 中定义表达式的类型是什么？

举个例子:

(define x 5)

或者

(define x (lambda (n) (* n n)))

这对我来说有点困惑。任何人都可以帮忙吗？

Answer 1

在 Racket define 是一种特殊形式而不是表达式，因此它本身没有值，如果您尝试执行这样的操作，则会出现错误:

(display (define x 42))
=>  define: not allowed in an expression context in: (define x 42)

如果它有一个值，它将类似于 void ，但这将取决于解释器的特定实现细节(我相信我看到一个解释器在 #t 完成后返回 define)

The constant #<void> is returned by most forms and procedures that have a side-effect and no useful result

specification也没有详细说明这一点 - 强调它依赖于实现的声明。