On Fri, 2012-10-26 at 21:55 -0700, Ben Wolfson wrote: > f :: a -> b > g :: c -> d > h :: e -> j [renamed from "f"] > > and "you'd like to chain [them] like f(g(h(x))), but you can't because > b is a different type from c and d is a different type from e.", how > does m-chain help? > > I would have expected, given the "b is a different type from c" thing, > that the chaining would go h(g(f(x)), but it's not as if that helps, > unless the types work out like: > > b ~ m c > d ~ m e
I assume that Brian's original example involved such constraints, implicitly; i.e., a, b, c, d, e are metasyntactic variables in prose referring to values, not type variables. -- Stephen Compall "^aCollection allSatisfy: [:each | aCondition]": less is better than -- 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