List Oz程序如何区分列表和非列表？

程序如何区分类型值和非列表值之间的差异，例如简单标量值

1

或字符串

'Hello'

？（比如，Oz是否将字符串视为字符列表？）

Oz程序如何区分列表类型的值和非列表类型的值（如简单标量值1或字符串“Hello”）之间的差异

（像Haskell一样，Oz是否将字符串视为字符列表？）

这在您链接的页面上有说明：

对于元素对应于字符代码的列表，允许使用进一步的符号变体。用这种表示法编写的列表称为字符串

另见

Oz程序如何区分列表类型的值和非列表类型的值（如简单标量值1或字符串“Hello”）之间的差异

（像Haskell一样，Oz是否将字符串视为字符列表？）

这在您链接的页面上有说明：

对于元素对应于字符代码的列表，允许使用进一步的符号变体。用这种表示法编写的列表称为字符串

另见

---

下面是Alexey在回答中提到的

List.is

函数的可能实现

fun {IsList Xs}
   case Xs of nil then true
   [] _|Xr then {IsList Xr}
   else false
   end
end

---

下面是Alexey在回答中提到的

List.is

函数的可能实现

fun {IsList Xs}
   case Xs of nil then true
   [] _|Xr then {IsList Xr}
   else false
   end
end