W clojure, kiedy powinniśmy użyć monady zamiast makra i vice-versa?

Monady i makra nie mają ze sobą nic wspólnego. Służą one do rozwiązywania różnych problemów. W Clojure biblioteka monad dość szeroko wykorzystuje makra do implementacji składniowego "interfejsu użytkownika" do monad. Możesz również użyć monad do zaimplementowania funkcji niektórych bibliotek, a następnie dodać warstwę makr dla interfejsu zewnętrznego.

Co do "kiedy można używać monad w Clojure", to widzę dwa przypadki użycia:

1) zaimplementować rzeczy, które mają sens w więcej niż jednej monadzie, w zlecenie wykonania pracy tylko raz i "podłącz" monadę później. tutaj {[6] } jest miłą ilustracją tego podejście, choć niestety (z pedagogicznego punktu widzenia) dla raczej nietrywialne zastosowanie: programowanie logiczne.

2) wdrożyć technikę kompozycji, która może być sformułowana jako monada, w celu zysk z istniejącej infrastruktury monad.

To pozostaje raczej abstrakcyjne, niestety. W tej chwili nie ma zbyt wielu opublikowanych i dopracowanych przykładów kodu, które używają monad w Clojure. W miarę jak Więcej Clojurian zapoznaje się z monadami i więcej ekspertów monad (zwykle pochodzących z Haskell) używa Clojure, może to się zmienić. I widziałem (ale nie mam pod ręką) monadyczne parsowanie wykonane w Clojure, na przykład.

@khinsen i @mikera odpowiedzieli na pytanie tak dobrze, że trudno o dodatkowe komentarze, ale myślę, że pominęli jeden punkt (albo nie mogłem znaleźć go w ich komentarzach).

W Clojure makra są częścią języka. Używaj ich, czy nie, ale tam są. W rzeczywistości często nie będziesz miał wyboru, jak tylko z nich korzystać, ponieważ sprawiają, że Twoje aplikacje są bardziej idiomatyczne (jest to cecha profesjonalnego używania dowolnego języka). Pozwalają na preprocesję struktur danych, które składają się na podanie. Są one zbliżone do innych konstrukcji językowych w tym sensie, że są uwzględniane niezależnie od twoich potrzeb.

W przeciwieństwie do makr, monady nie są częścią Clojure. Są one budowane przy użyciu konstrukcji języka, a mianowicie makr. Nie są one uwzględniane w czasie wykonywania, chyba że nalegasz na ich obecność. Dla mnie monady są wzorcami projektowymi do komponowania obliczeń i dlatego są podobne do innych wzorców projektowych, które możesz znać. Wykorzystujesz wzorce projektowe do opracowania modułowych i spójne aplikacje i czy to monady, makra lub inne konstrukcje językowe, powinieneś wiedzieć, że istnieją i pracować z nimi dla Twojego dobra.

Jeśli chodzi o twoje pytanie, makra działają, zanim monady kiedykolwiek zaczną działać. Makra działają na etapie kompilacji-zmieniają struktury danych na inne. Monady są wzorcem konstrukcyjnym do tworzenia obliczeń. To jest różnica. W Clojure monady są pisane za pomocą makr( aby ułatwić ich użycie), dlatego ludzie mają tendencję do mówienia, co można zrób z monadami, które możesz łatwo osiągnąć za pomocą makr. To prawda, ponieważ wynika to z projektowania monad w Clojure, ale to samo można powiedzieć o samych makrach. Nie musisz pisać nowych przez większość czasu, a pierwszą zasadą makro klubu jest, aby w ogóle ich nie pisać , ale nadal są częścią języka i powinieneś być bardzo dobrze świadomy ich zastosowań.

Zobacz Jak Programiści Clojure używają makr? więcej dyskusji na temat makr.