如何简化JavaScript二叉搜索树递归插入方法，使其更贴近Haskell风格？

当然可以！Haskell版本的清爽感核心来自纯函数式、不可变数据的设计思路——我们完全可以把这个思路移植到JavaScript中，写出更简洁、更贴近Haskell风格的实现，同时保留逻辑的清晰性。

纯函数式无类实现（最贴近Haskell） #

先直接对标Haskell的写法，用纯函数和不可变数据结构实现，完全不需要类：

// 定义空树标识，对应Haskell的EmptyTree
const EmptyTree = null;

// 生成单节点树，对应Haskell的singleton
const singleton = (key) => ({ key, left: EmptyTree, right: EmptyTree });

// 纯函数式insert，返回新树而非修改原树
const insert = (key, tree) => {
  if (tree === EmptyTree) return singleton(key);
  if (key === tree.key) return tree; // 重复key直接返回原树，和Haskell逻辑一致
  return key < tree.key
    ? { ...tree, left: insert(key, tree.left) }
    : { ...tree, right: insert(key, tree.right) };
};

// 用reduceRight模拟Haskell的foldr，从右往左构建树
const fill = (keys) => {
  return keys.reduceRight((tree, key) => insert(key, tree), EmptyTree);
};

用法示例 #

const tree = fill([5,3,7,2,4,6,8]);
// 此时tree是一个不可变的BST结构，每次insert都会返回新树
const newTree = insert(1, tree);

保留BST类的简洁实现 #

如果需要保留原来的类封装形式，也可以把纯函数逻辑整合进去，让类的方法更简洁：

class BST {
  constructor() {
    this.root = null; // 对应EmptyTree
  }

  // 私有纯函数insert，返回新节点/树
  #insert(key, tree) {
    if (!tree) return { key, left: null, right: null };
    if (key === tree.key) return tree;
    return key < tree.key
      ? { ...tree, left: this.#insert(key, tree.left) }
      : { ...tree, right: this.#insert(key, tree.right) };
  }

  insert(key) {
    this.root = this.#insert(key, this.root);
  }

  fill(keys) {
    this.root = keys.reduceRight((tree, key) => this.#insert(key, tree), null);
  }
}

为什么这更贴近Haskell风格？ #

1. 不可变数据：和Haskell一样，每次插入操作不会修改原树的节点，而是返回新的节点/树结构，避免了命令式的属性赋值（比如原来的target.left = new Node(key)）。
2. 纯函数设计：insert函数的输出完全由输入决定，没有副作用，逻辑和Haskell的insert完全对齐。
3. 简洁的分支逻辑：去掉了原来的嵌套if-else，用更直观的条件表达式，类似Haskell的guard语法。
4. foldr的对应实现：用reduceRight模拟Haskell的foldr，从数组末尾开始构建树，和Haskell的fill逻辑保持一致。

这样改造后的JavaScript代码，无论是纯函数版本还是类版本，都比原来的写法更简洁、更易读，完全贴合你想要的Haskell风格。

内容的提问来源于stack exchange，提问作者Matus Dubrava