Lisp中的所有数据都是不可变的吗？

Question

在本文中,作者称赞了函数式编程有两个主要的优点.但他没有提到(Common)Lisp.

Lisp的数据是否符合"所有数据都是不可变的"？

Answer 1

在Common Lisp中,默认情况下所有数据(例如原始变量引用,列表,数组和散列表)都是可变的,因此没有什么可以阻止某人更改变量的值,序列的元素或字段的字段.结构体.

但是,如果我们不是在谈论原始数据类型而是关于用户定义的数据,那就是关于CLOS结构和类,它们的插槽可以是只读的.例如,对于结构:

(defstruct person
  (name nil :type string :read-only t)
  (age nil :type (integer 0 100)))

(let ((john (make-person :name "John" :age 30)))
  (princ john)
  ;; * `age' is mutable:
  (incf (person-age john))
  (princ john)
  ;; * `name' is not:
  ;; (setf (person-name john) "garbage name")
  ;; ^ you can't do this because the `defstruct' macro just don't emit SETFer
  ;;   for the `name' slot as you made it read-only.
  )

类为插槽提供了更多的访问控制(这类似于constC中限定符的机制,区别在于Common Lisp中它不是编译时保证,而是可以在重新启动时处理的异常),你可以给他们读写,只读,只写或不访问.

有关更多信息,请参阅以下链接:

• http://psg.com/~dlamkins/sl/chapter07.html

• http://www.gigamonkeys.com/book/object-reorientation-classes.html

Answer 2

在Common Lisp中,您可以选择使用功能样式.避免setf,setq等等,你有一个函数式编程语言.换句话说,不要更改任何变量值,不要在创建后更改复合数据结构(缺点,向量,结构等)的内容.函数接受输入并产生输出而不修改状态.

因此,虽然Common Lisp提供了必要的操作,但如果您不想这样做,则不需要使用它们.