mtl, transformers, monads-fd, monadLib i paradoks wyboru

Hackage ma kilka pakietów dla transformatorów monad:

• mtl : Biblioteka transformatorów Monad
• transformatory : funktor do betonu i transformatory monadowe
• monads-fd : Klasy Monad, używające zależności funkcjonalnych
• monads-tf : Klasy Monad, używające rodzin typów
• monadLib : kolekcja transformatorów monad.
• mtl-tf : biblioteka transformatorów Monad korzystająca z rodzin typów.
• mmtl : Modularna biblioteka transformatorów Monad
• mtlx : Biblioteka transformatora Monad z indeksami typów, zapewniająca „darmowe” kopie.
• compose-trans : Komponowalne transformatory monadowe

(a może trochę przegapiłem)

Którego użyjemy?

mtl jest tym na platformie Haskell, ale ciągle słyszę na reddicie, że jest niefajny.

Ale co jest złego w wyborze, czy nie jest to po prostu dobra rzecz?

Cóż, widziałem, jak na przykład autorzy akcesorów danych musieli zrobić to wszystko, aby zaspokoić tylko popularne wybory:

• biblioteka danych-accessor-monadLib: Funkcje pomocnicze dla monad monadLib
• data-accessor-monads-fd library: Użyj Accessor, aby uzyskać dostęp do stanu w klasie monads-fd State monad
• data-accessor-monads-tf library: Użyj Accessor, aby uzyskać dostęp do stanu w rodzinie typów monad-tf State monad
• data-accessor-mtl biblioteka: Użyj Accessor, aby uzyskać dostęp do stanu w klasie monad stanu mtl
• biblioteka transformersów dostępu do danych: Użyj Accessor, aby uzyskać dostęp do stanu w monadzie stanu transformatorów

Wyobrażam sobie, że jeśli tak się stanie i na przykład kilka konkurencyjnych pakietów Arrow ewoluuje, możemy zobaczyć coś takiego: spoonklink-arrows-transformers, spoonklink-arrows-monadLib, spoonklink-tfArrows-transformers, spoonklink-tfArrows-monadLib, ...

A potem martwię się, że jeśli Spoonklink zostanie rozwidlony, Hackage zabraknie miejsca na dysku. :)

Pytania:

• Dlaczego jest tak wiele pakietów transformatorów Monad?
• Dlaczego mtl [uważa się] za niefajne?
• Jakie są kluczowe różnice?
• Większość z tych pozornie konkurujących ze sobą pakietów została napisana przez Andy'ego Gilla i jest zarządzana przez Rossa Patersona. Czy to oznacza, że ​​te pakiety nie konkurują ze sobą, ale w jakiś sposób ze sobą współpracują? I czy Andy i Ross uważają któryś z ich własnych pakietów za przestarzały?
• Którego powinieneś użyć?

Kilka z nich jest prawie całkowicie równoważnych:

• mtlużywa rozszerzeń GHC, ale transformersjest Haskell 98.
• monads-fdi monads-tfsą dodatkami transformers, używającymi odpowiednio zależności funkcjonalnych i rodzin typów, zapewniających funkcjonalność, mtlktórej brakuje transformers.
• mtl-tfjest mtlponownie zaimplementowany przy użyciu rodzin typów.

Więc zasadniczo mtl== transformers++ monads-fd, mtl-tf== transformers++ monads-tf. Wydaje mi się, że ulepszona przenośność i modułowość transformerspakietów oraz powiązanych z nimi pakietów jest mtlobecnie niefajna.

mmtli mtlxoba wydają się być podobne i / lub oparte na mtlróżnicach API i dodatkowych funkcjach.

MonadLibwydaje się mieć nieco inne podejście do spraw, ale nie znam tego bezpośrednio. Wydaje się również, że używa wielu rozszerzeń GHC, więcej niż inne.

Na pierwszy rzut oka compose-transwydaje się, że bardziej przypomina metaprogramowanie do tworzenia transformatorów monadowych. Twierdzi, że jest kompatybilny z Control.Monad.Transktórym ... chyba oznacza mtl?

W każdym razie sugerowałbym następujący algorytm decyzyjny:

• Potrzebujesz standardowych monad do nowego projektu? Użyj transformers& co., Pomóż nam mtlodpocząć.
• Czy używasz już mtlw dużym projekcie? transformersnie jest w pełni kompatybilny, ale nikt cię nie zabije za brak przełączenia.
• Czy któryś z pozostałych pakietów zapewnia niezwykłą funkcjonalność, której potrzebujesz? Równie dobrze możesz go użyć, zamiast skręcać własną.
• Wciąż nie jesteś zadowolony? Wyrzuć je wszystkie, pobierz category-extrasi rozwiąż wszystkie problemy świata za pomocą półtorej strony niezrozumiałego abstrakcyjnego nonsensu, zapierającego dech w piersiach kodu ogólnego.

Na chwilę? Powinieneś prawdopodobnie użyć mtl. Dzieje się tak, że transformersbiblioteka jest wyodrębniana z MTL w sposób, który monads-fdi monads-tfmoże współistnieć pokojowo, ale w końcu to jeszcze nie było.

Kiedy tak się stanie, będziesz mógł zaimportować monads-fdi transformersuzyskać (prawie) ten sam interfejs, z wyjątkiem tego State, że itp. Będzie aliasem dla StateT.

Piszę więc mtl, ale nie będę polegał na tym, że State, Reader itp. Są obecnie datatak, jak zostaną zastąpione przez types.

MonadLib to kolejna alternatywa, nad którą pracował Iavor, z której można bezpiecznie korzystać, ponieważ nie ma wspólnych nazw modułów z innymi, ale ma dość inny wzorzec użycia.

Rozliczenie, o którym wspomina Edward Kmett w swojej odpowiedzi, zostało zakończone pod koniec 2010 roku. Efektem końcowym były monady-fd , zbudowane na transformatorach , stające się wersją 2 mtl . W konsekwencji wszechobecności MTL , monady-tf nigdy się nie przyjęły. Od początku 2017 r. Mtl i transformers są jedynymi bibliotekami transformatorów monad, które są szeroko stosowane.