聊聊 functional programming

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 3411 天前的主题，其中的信息可能已经有所发展或是发生改变。

目的

通过对fp的学习，发现改变了一些编程的思路，这里对于这方面的讨论比较少，所以抛砖引玉，学习下。

下面举个例子

(defn simpfy-piece
  "throw away the unnessesaries"
  [piece]
  [(schema/piece-name-id
    (b/get-state :piece-name-ids)
    (:entity piece)
    (:key piece))
   (:val piece)])

下面是修改之后的代码。

(defn piece->simple-piece
  "throw away the unnessesaries"
  [piece-name->id]
  (fn [piece]
    [(piece-name->id (:entity piece) (:key piece))
     (:val piece)] ))

其中的变化

大部分pure方法命名都是 a->b,比如piece->simple-piece。
返回的方法的参数只有一个。
如果方法有依赖，则在参数中定义，但返回一个pure方法，例如将schema/piece-name-id 这个依赖的方法，通过参数传递进来。
副作用都是在最上层并单独处理。

问题：

没法做到composition，很多方法都是有多个参数，没法通过组合方法达到目的。
这种做法，下层的代码很容易理解，但是上层的代码就受罪了，大量的内嵌方法调用，层层方法有依赖。如下。

(defn query
  [clause]
  (query/query->entities
   (query/vindex->entities
    (query/entity-id->entity
     (query/entity-id->pieces
      (idx/entity-id->kindex ref-kindex)
      (store/ids->pieces
       (store/id->piece (fn [entity-name id]
                          (p/get! (b/get-state :pieces-db) id)))))
     (query/pieces->entity (sc/piece-name->id
                             (b/get-state :piece-name-ids)))))
   {:piece-name->id (sc/piece-name->id (b/get-state :piece-name-ids))
    :piece-name->vindex ref-vindex}))