C++ boost :: bind vs clojure partial function

Question

C++ boost bind library и частичная функция clojure очень похожи. Например:

int x = 8; 
bind(std::less<int>(), _1, 9)(x); // x < 9 

Это похоже на частичную функцию Clojure в:

((partial > 9) 8) 

Разница заключается в том, что partial допускает только первые п параметров для связывания, тогда как boost::bind позволяет заполнители, указывающие, какие параметры связаны и которые несвязаны. Так boost::bind на самом деле гораздо более общее и полезное:

bind(f, _2, _1)(x, y);     // f(y, x) 

bind(g, _1, 9, _1)(x);     // g(x, 9, x) 

Я интересно, если есть что-то похожее на boost::bind в Clojure (или Clojure-вно)? И почему частичное не было написано более общим (и полезным), поскольку boost::bind есть?

Answer 1

Это довольно часто задаваемый вопрос о Clojure, чаще всего выражаемый в терминах макросов с потоками -> и - >> относительно того, почему они также не допускают произвольные заполнители.

Приведенная здесь причина также применима здесь, на мой взгляд: идиоматические функции Clojure, как правило, разбиваются на те, которые предоставляют себе либо их первый, либо последний аргумент, поставляемый отдельно, а не смесь.

Другими словами, разработчики обычно пытаются выполнить функции кода, чтобы они были поддаются ->, - >> и/или частичным.

Учитывая читатель макросов для анонимных функций, это довольно легко создать версии заполнителей, когда они необходимы, для менее идиоматических ситуаций:

#(f %2 %1) ;; bind(f, _2, _1) 
#(g % 9 %) ;; bind(g, _1, 9, _1) 

Answer 2

Как Шон сказал, partial решает более конкретную проблему и в общие, лямбды - это идиоматическое решение. Тем не менее, если вы в отчаянии, вы всегда можете свернуть свой собственный bind:

(defmacro bind 
    [bound-function & args] 
    (let [; helper function to parse actual argument symbols 
     get-symbols (fn [s] (map second s)), 
     ; help function to get the placeholder arguments 
     get-placeholders (fn [s] (filter first s)) 
     ; collection of arguments and whether they're placeholders 
     bound-args (map (fn [arg] 
         (if (= arg '_) 
          ; for placeholders, generate a new symbol 
          [true (gensym)] 
          ; otherwise, use the provided argument as-is 
          [false arg])) 
         args)] 
    `(fn [~@(get-symbols (get-placeholders bound-args))] 
     (~bound-function ~@(get-symbols bound-args))))) 

Его использование заключается в следующем:

((bind > 9 _) 8) ; true 
((bind > _ _) 9 8) ; true 

Answer 3

Там в Swiss Arrows библиотека, которая позволяет для различных других параметров резьбы/связывания сценарий годов. Тем не менее, существует так много вариантов, что оптимизация параметров вашей функции для наилучшего использования макроса -> и - >> является предпочтительным решением, и если это невозможно, используйте анонимные функции в качестве простейшего общего решения.