函数式编程中的条件“赋值”

Question

我正在编写一些没有副作用的程序，但我的代码可读性不强。 考虑以下代码：

(let [csv_data (if header_row (cons header_row data_rows) data_rows)]
)

我正在尝试在代码块中使用csv_data。对header_row 的存在进行调节的干净方法是什么？我看过if-let，但看不出这对这里有什么帮助。

我也遇到过功能性 for 循环的类似情况，我将结果绑定到局部变量，代码看起来像一堆表达式。

在很多情况下，我真的需要创建一个单独的辅助函数吗？ 我在这里错过了什么？

Answer 1

首先，不要使用下划线，最好使用破折号。

第二，一点辅助功能也没有错；毕竟，这似乎是处理您的特定数据格式的要求。

第三，如果您可以更改数据以跳过这些决策并为所有极端情况提供统一的表示，那就更好了。标题行包含不同类型的数据（列名？），因此您可能更愿意将它们分开：

(let [csv {:header header :rows rows}]
  ...)

或者也许在某些时候你可以让“标题”和“行”属于同一类型：行序列。然后你可以直接连接它们。 ensure-x 成语是标准化数据的一种非常常用的方法：

(defn ensure-list [data]
  (and data (list data)))

例如：

user=> (ensure-list "something")
("something")
user=> (ensure-list ())
(())
user=> (ensure-list nil)
nil

因此：

(let [csv (concat (ensure-list header) rows)]
  ...)

Answer 2

在考虑了命名空间中单行辅助函数的“成本”之后，我想出了一个本地函数：

(let [merge_header_fn   (fn [header_row data_rows] 
                          (if header_row 
                            (cons header_row data_rows) 
                            data_rows))
      csv_data (merge_header_fn header_row data_rows) ]
  ...
  <use csv_data>
  ...
) 

除非有人能提出更优雅的处理方式，否则我会保留这个作为答案。

Answer 3

我会提出一个实用宏。像这样的：

(defmacro update-when [check val-to-update f & params]
  `(if-let [x# ~check]
     (~f x# ~val-to-update ~@params)
     ~val-to-update))

user> (let [header-row :header
            data-rows [:data1 :data2]]
        (let [csv-data (update-when header-row data-rows cons)]
          csv-data))
;;=> (:header :data1 :data2)

user> (let [header-row nil
            data-rows [:data1 :data2]]
        (let [csv-data (update-when header-row data-rows cons)]
          csv-data))
;;=> [:data1 :data2]

它非常通用，让您完成更复杂的任务，而不是简单的 consing。例如，如果检查为真，您想反转一些 coll，并连接另一个列表...

user> (let [header-row :header
            data-rows [:data1 :data2]]
        (let [csv-data (update-when header-row data-rows
                                    (fn [h d & params] (apply concat (reverse d) params))
                                    [1 2 3] ['a 'b 'c])]
          csv-data))

;;=> (:data2 :data1 1 2 3 a b c)

更新 正如@amalloy 所注意到的，这个宏应该是一个函数：

(defn update-when [check val-to-update f & params]
  (if check
     (apply f check val-to-update params)
     val-to-update))

Answer 4

使用cond->> 宏

(let [csv_data (cond->> data_rows
                 header_row (cons header-row)]
   )

它的工作方式类似于常规的->> 宏，但在每个线程表单之前必须放置一个测试表达式，以确定是否使用线程表单。

还有cond->。在此处阅读有关线程宏的更多信息：Official threading macros guide