Является ли сущность Maybe Monad a Proxy для вашей функции?

Question

Предположения:

• по прокси Я имею в виду в том смысле, обертки, как весной
• по вашей функции я имею в виду что-то же просто, как (fn [x] (+ x 1))

Рассмотрим следующий from Konrad Hinsen :

(defn f [x] 
    (let [a x 
     b (inc a)] 
    (* a b))) 

(defn f [x] 
    (domonad maybe-m 
    [a x 
    b (inc a)] 
    (* a b))) 

(defn m-bind [value function] 
    (if (nil? value) 
     nil 
     (function value))) 

Теперь преимущество в том, что если значение равно nil, то m-bind возвращает nil, а остальная часть вычисления никогда не вызывается.

Мой вопрос: Является ли сущность Maybe Monad прокси для вашей функции?

Answer 1

Clojurians, кажется, предпочитают синтаксические преобразования, такие как some-> резьбу макрос для короткого замыкания на nil, над алгебраическим формализмом, как может быть, монада.

В любом случае, будь то путем преобразования кода или монадической структурой, ключ управляет продолжением, так что он никогда не вызывается после того, как встречается nil или Nothing.

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

Answer 2

Я не уверен, как работают пружинные обертки, но пункт о возможно монады, как описано в этой статье, является то, что вы пишете код, как это:

(defn f [x] 
    (domonad maybe-m 
    [a x 
    b (inc a)] 
    (* a b))) 

И механизмы монады добавляет проверку между линии. Поэтому после каждого из этих утверждений он проверяет, равен ли результат nil, и если так просто возвращает nil и завершает работу.

Таким образом, вы не просто получите нуль, если вы пройдете ноль, но он также работает, если (inc 8) неожиданно возвращает ноль.