面向对象编程的一点思考和总结

在我看来 implements 接口 和 extends 一个抽象类其实没有本质区别， 而 trait 本身就是 php 为了实现多继承提供的一种代码复用机制。 所以把他俩归到继承特性应该是没有问题的。 你提到的组合的问题， 组合的例子应该是 import use 这样的。
PHP: Trait - Manual

以类和对象为构建系统的基本单元，设计类之间的交互 (职责划分), 组合构建上层接口。 感觉不对劲， 比如我认为函数式编程就是 以变量和函数为构建系统的基本单元，设计函数之间的交互(调用关系)，组合构建上层接口 好像也说的过去, 但是明显不合理。 而且 以类和对象为构建系统的基本单元 隐含着只有面向对象语言才能面向对象的条件 ， 因为面向过程语言没有 class

@九霄道长 面向对象： 以类和对象为构建系统的基本单元，设计类之间的交互 (职责划分), 组合构建上层接口。
函数式编程： 以变量和函数为构建系统的基本单元，设计函数之间的交互(调用关系)，组合构建上层接口
结构化编程： 以变量和结构化语句为构建系统的基本单元， 设计结构化语句之间的交互（逻辑关系），组合构建上层结构。

然后你也说 对象是一种抽象，具象化以后就是变量。 类也是一种抽象，具象化之后是 c 结构体和函数指针 （代码块）。

是不是能得出结论， 三种编程范式大同小异。

@徵羽宫 没有讲面向对象分析嘛
我主要还是简单说一下我认为的面向对象是什么样的😃感谢交流

@JinBB 函数是纯函数，不是说函数式编程不能使用变量，而是说函数内部的代码逻辑不受外部（全局变量或者说外部作用域的变量）的影响, 并且函数内部的代码不会对外部（全局变量或者外部作用域）产生影响。由此使函数式编程的函数有两个特点。

• 相同的输入必有同输出
• 没有副作用

@JinBB 那你认为函数参数接收输入的那个东西应该叫什么？

// 这个 $a 不是变量 a 么, 假如我函数式编程 我就必须称之为 输入 a ?.  
function test($a){
    return null;
}

@JinBB 你现在也发现自己很矛盾了， 你没办法称 变量 为 变量 只能称之为 量。 因为显然你说的 量 不是常量， 你也不能说函数式编程的数据一般是不可变的， 而函数式编程中存在变量和你的观点又自相矛盾。 所以你只能称之为量。 姑且不说量这个新名词的问题。 看一下下面的例子:

let fibo = (a) => {
    let b = [1, 1];
    for(let i=2; i<a; i++){
        b[i] = b[b.length-2] + b[b.length-1];
    }
    return b;
}
fibo(15)
// [1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610]

这是一个求斐波那契数列的方法，可以看到它声明了一个变量 b 并且每一次循环 b 的值都在变。 按照你的 函数式编程， 你该如何实现这个方法。

@徵羽宫

# let fib n =
  let rec aux acc n2 n1 = function
  | 1 -> acc
  | c -> aux ((n2 + n1) :: acc) n1 (n2 + n1) (c - 1)
  in
  List.rev(aux [1; 0] 0 1 (n - 1))
;;
val fib : int -> int list = <fun>

# fib 8;;
- : int list = [0; 1; 1; 2; 3; 5; 8; 13]

@JinBB 函数式编程的第一个特点， 函数是一等公民。 表示函数可以赋值给变量。 你上面举得例子 let = 他就是一个赋值语句， 我特意查了 Ocaml 的文档， let 的作用就是把等号右边的值赋值到等号左边。你非不承认等号左边那个值可以变的字母符号是变量我也没有办法。 大部分语言那个表示可以变的值的那个字母符号就是变量, 不使用变量并不是函数式编程的必要条件，大部分语言也都可以函数式编程， javascript 当然也可以 。 其实承认自己理解有误没啥大不了的， 谁都是在错误中不断学习和成长的。 如果总以为自己没错， 不就和我文章里的 wo_zui_niu_bi 一样了嘛？ v2.ocaml.org/releases/5.0/htmlman/...

@徵羽宫 他为什么不是一个初始化语句呢？为什么不是一个给函数命名的语句呢？

const v = 99;

@JinBB 他其实就是初始化了一个函数并把这个函数的值赋给那个变量的意思。 let fib = fucntion fib 的值就是函数， let fib = 1 fib 的值就是 1. 这个逻辑它那个官方文档上写的明明白白。 而且不管你怎么理解 ，只考虑 fib ， fib 它显然就是一个变量啊， 你后面还使用了这个变量。 比如你不承认 fib 是变量，硬说在 OCaml 里 它不叫变量， 叫字母组成的标识符， 它也没有实际意义不是。 它和别的语言里面的变量没有本质的区别对不对？

A value definition let [rec] let-binding { and let-binding } bind value names in the same way as a let … in … expression (see section 11.7.2). The value names appearing in the left-hand sides of the bindings are bound to the corresponding values in the right-hand sides.

并不是， 我查过了 OCaml let a ; a 是可以重新赋值的， javascript 里面的 const 不能。 而且 let 和 const 并不影响函数式编程的判断。 比如我上面那个求斐波那契数列的方法，使用 let 和 const 都能跑起来。 你不能说我用 const 声明就是函数式编程， 用 let 就不是了对吧。

let fibo = (a) => {
    let b = [1, 1];
    for(let i=2; i<a; i++){
        b[i] = b[b.length-2] + b[b.length-1];
    }
    return b;
}
fibo(15)
const fibo = (a) => {
    const b = [1, 1];
    for(const i=2; i<a; i++){
        b[i] = b[b.length-2] + b[b.length-1];
    }
    return b;
}
fibo(15)

@徵羽宫

let fib n =
  let rec aux acc n2 n1 = function
  | 1 -> acc
  | c -> aux ((n2 + n1) :: acc) n1 (n2 + n1) (c - 1)
  in
  List.rev(aux [1; 0] 0 1 (n - 1))
;;

那你觉得这里的const有影响吗？

@JinBB 这里的 let 和 javascript 的 let 没有区别。 并且 OCaml 没有 const 或者类似 const 那样申明常量的关键词， OCaml 只有 let 。 从这个角度看， 按照你的逻辑 ， javascript 对函数式编程的支持比 OCaml 更好 ？ v2.ocaml.org/releases/5.0/htmlman/...

假设有人跟我讨论面向对象， 如果他说的是封装继承和多态，那就有的说。 如果是要讨论 class this 还有 new 那就没法交流了。