this is great, just one nit to pick about currying (because it's something that's bitten me in the past in other contexts):
in the wiki you say "For a predefined function with a fixed number of arguments, only the function name must be supplied.", but this is only sort of true---the issue isn't whether the function is predefined or not, the issue is whether the argument is a symbol that resolves to a var. This, for instance, doesn't work: (let [t take] (((curry t) 3) '(1 2 3 4))) Even though "take" is a predefined function. And this picks up the wrong metadata (this example is factitious on its face, but it could happen in practice): blancas.morph.core> (defn three-params [a b c] a) #'blancas.morph.core/three-params blancas.morph.core> (let [three-params take] (((curry three-params) 3) '(1 2 3 4))) #<core$eval2780$G__2784__2785$G__2786__2787$fn__2788 blancas.morph.core$eval2780 $G__2784__2785$G__2786__2787$fn__2788@65c66812> blancas.morph.core> because "resolve" goes directly to var bindings, overlooking other niceties of lexical scope. Unrelatedly: - I couldn't figure out how to write something like foldM, because I couldn't figure out how to call return on the seed value when the list is empty. ISTR (when you announced your parsing library) that there isn't a way to do that kind of thing at all? - I'm curious about the Monoid protocol---I have one in babbage, and it has two more methods than yours, "mempty?" and "value" (instead of monoid-specific accessors). Why not put the accessors in the protocol? On Wed, Feb 6, 2013 at 4:06 PM, Armando Blancas <abm221...@gmail.com> wrote: > Morph is a new implementation of monads based on protocols. It's intended to > provide the common patterns of error-handling, short-circuit sequencing, and > modeling of stateful computations in pure functions. I've tried to make this > library idiomatic while keeping it close to its Haskell roots. > > This is a utility library that, I hope, can make your coding easier. No > particular knowledge is assumed or required. The docs name things but rely > on getting an intuitive feeling of what's going on. Protocols are relevant > only if you want to write your own plumbing, which shouldn't be difficult; > otherwise it's all ready to use. > > Project: https://github.com/blancas/morph > User Guide: https://github.com/blancas/morph/wiki > Codox API: http://blancas.github.com/morph > > Please use the project wiki for feedback, bug reports, or feature requests. > > -- > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with your > first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en > --- > You received this message because you are subscribed to the Google Groups > "Clojure" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to clojure+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. > > -- Ben Wolfson "Human kind has used its intelligence to vary the flavour of drinks, which may be sweet, aromatic, fermented or spirit-based. ... Family and social life also offer numerous other occasions to consume drinks for pleasure." [Larousse, "Drink" entry] -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
