PL/Scheme

PL/Scheme 是一个用于Scheme编程语言的PostgreSQL过程语言处理程序。 PL/Scheme 在后台使用 Chibi Scheme 作为其Scheme解释器。凭借大量内置的SRFI和 Chibi Scheme 的完全R7RS兼容性，PL/Scheme 可以以Lisp风格启动PostgreSQL过程。PL/Scheme 默认是没有启用的，但是可以用CREATE EXTENSION plscheme为特定数据库启用它。

函数和参数

要用 PL/Scheme 语言创建一个函数，可使用标准的CREATE FUNCTION语法：

CREATE FUNCTION funcname (argument-types) RETURNS return-type
-- 函数相关属性
AS $$
  ; PL/Scheme 函数体
$$ LANGUAGE plscheme;

函数的主体就是普通的Scheme代码。事实上，PL/Scheme 的粘合代码会把它包裹在一个Scheme子程序中。一个 PL/Scheme 函数会在一种标量上下文中被调用，因此它无法返回列表。如下文所述，可以通过返回引用来返回非标量值（数组、记录和集合）。

在一个 PL/Scheme 过程中，任何从Scheme代码返回的值都会被忽略。

PL/Scheme 也支持用DO语句调用的匿名代码块：

DO $$
  ; PL/Scheme 代码
$$ LANGUAGE plscheme;

一个匿名代码块没有参数，并且它返回的任何值都会被抛弃。否则其行为就像一个函数。

CREATE FUNCTION命令的语法要求函数体被写作一个字符串常量。通常对字符串常量使用美元符号引用（见第 4.1.2.4 节）最方便。如果选择使用转义字符串语法E''，必须双写任何在函数体中使用的单引号'和反斜线\（见第 4.1.2.1 节）。

参数和结果的处理和在任何其他Scheme子程序中一样：参数会以Scheme变量的形式传递到函数体中，并且函数中计算的最后一个表达式会作为结果值返回。

例如，一个返回两个整数值中较大值的函数可以定义为：

CREATE FUNCTION scheme_max (a integer, b integer) RETURNS integer
AS $$
  (if (> a b) a b)
$$ LANGUAGE plscheme;

数据值

一般来讲，PL/Scheme 的目标是提供在PostgreSQL和Scheme世界之间的一种“自然的”映射。这包括下面介绍的数据映射规则。

数据类型映射

在调用一个 PL/Scheme 函数时，它的参数会被从PostgreSQL的数据类型转换成相应的Scheme类型：

PostgreSQL 的boolean被转换成 Scheme 的boolean。
PostgreSQL 的smallint和int被转换成 Scheme 的fixnum。PostgreSQL 的bigint和oid也被转换成 Scheme 的fixnum。
PostgreSQL 的real和double被转换成 Scheme 的flonum。
PostgreSQL 的numeric被转换成 Scheme 的flonum。
PostgreSQL 的bytea被转换成 Scheme 的bytevector。
包括 PostgreSQL 字符串类型在内的所有其他数据类型会被转换成一个 Scheme 的string。
对于非标量数据类型，请见下文。

当一个 PL/Scheme 函数返回时，会按照下列规则把它的返回值转换成该函数声明的PostgreSQL返回数据类型：

当 PostgreSQL 返回类型是boolean时，返回值会被根据 Scheme 规则计算真假。
当 PostgreSQL 返回类型是bytea时，返回值会被使用相应的 Scheme 内建机制转换成bytea。
对于所有其他 PostgreSQL 返回类型，返回值被使用 Scheme 内建的string转换成一个串，并且结果会被传递给 PostgreSQL 数据类型的输入函数。
对于非标量数据类型，请见下文。

注意所声明的PostgreSQL返回类型和实际返回对象的Scheme数据类型之间的逻辑失配不会被标志，无论怎样该值都会被转换。

NULL

如果一个SQL空值被传递给一个函数，该参数值将作为Scheme中的()出现。例如，上面函数和参数中展示的scheme_max的函数定义对于空值输入将会返回错误的回答。我们可以为函数定义增加STRICT让PostgreSQL做得更加合理：如果一个空值被传入，该函数将根本不会被调用，而只是自动地返回一个空结果。此外，我们可以在函数体中检查空输入：

CREATE FUNCTION scheme_max (a integer, b integer) RETURNS integer
AS $$
  (if (or (null? a) (null? b))
    '()
    (if (> a b) a b))
$$ LANGUAGE plscheme;

如前所示，要从一个 PL/Scheme 函数返回一个SQL空值，可返回值()。不管该函数严格与否都可以这样做。

数组，向量

SQL数组会被作为一个Scheme向量传递到 PL/Scheme 中。要从一个 PL/Scheme 函数中返回出一个SQL数组值，可返回一个Scheme向量：

CREATE OR REPLACE FUNCTION return_arr() RETURNS int[]
AS $$
  (vector 1 2 '() 3)
$$ LANGUAGE plscheme;

SELECT return_arr();
     return_arr
--------------------
 [0:3]={1,2,NULL,3}
(1 row)

标准模块

我们可以在 PL/Scheme 函数或者匿名代码块中导入Scheme提供的标准模块，例如：

DO $$
  (import (scheme small)
          (srfi 1))
$$ LANGUAGE plscheme;

这个导入可以作用于当前会话对 PL/Scheme 函数或者匿名代码块的执行。

Scheme 标准

默认语言是来自R7RS的(scheme base)库，它主要是R5RS的超集。

解释器默认区分大小写，跟R6RS和R7RS一样，但与R5RS不同。默认配置包括了完整的数值类型体系：fixnum、flonum、bignum、精确有理数和复数。此列表包括R7RS定义的标准库：

(scheme base) - R7RS 基础库
(scheme case-lambda) - R7RS case-lambda 库
(scheme char) - R7RS 字符库
(scheme complex) - R7RS 复数库
(scheme cxr) - R7RS CxR 访问器库
(scheme eval) - R7RS eval 库
(scheme file) - R7RS 文件库
(scheme inexact) - R7RS 非精确数值库
(scheme lazy) - R7RS 惰性求值库
(scheme load) - R7RS 代码加载库
(scheme process-context) - R7RS 进程上下文库
(scheme read) - R7RS 代码对象读入库
(scheme repl) - R7RS 读取/评估/打印循环库
(scheme time) - R7RS 时间库
(scheme write) - R7RS 代码对象生成库
(scheme r5rs) - R5RS 标准库，它是其他库的一个包装
(scheme small) - R7RS 标准库，它包含了上面所有的库

SRFI 模块

Chibi Scheme 中提供了许多SRFI。请注意，SRFI 0、6、23、46 和 62 已内置到默认环境中，因此无需导入它们。此列表包括流行的SRFI或标准Chibi模块中使用到的SRFI：

Chibi 模块

额外的非标准模块被放置在(chibi)模块命名空间中。

错误和消息

使用raise函数报告消息以及抛出错误。

(raise level message)

level选项指定了错误的严重性。允许的级别有debug、log、info、notice, warning以及exception。exception会抛出一个错误（通常会中止当前事务）。其他级别仅仅是产生不同优先级的消息。不管一个特定优先级的消息是被报告给客户端、还是写到服务器日志、亦或是二者同时都做，这都由log_min_messages和client_min_messages配置变量控制。详见第 19 章。

在这个例子中，我们报告了一个notice级别的简单消息：

(raise "notice" "Notice me.")