Hi Herwig! 2014-07-11 17:49 GMT+02:00 Herwig Hochleitner <hhochleit...@gmail.com>:
> Hello Andrey, > > after having spent some time with Haskell lately, trying to wrap my head > around those categorical abstractions, I enjoy your take on them a lot. At > first glance, I feel your design blends in with clojure's style very well. > > Also, congratulations on the documentation, it's a great read for readers > familiar with dynamically typed languages. > Thank you very much! > > A question: > > Your take on `return` took me a bit off guard. It's a cool use case for a > dynamic variable, but can you cover all cases with it? What about if you > start by binding a couple of returns into each other and only then bind it > into a specific monad? > Yes, the current approach of return/pure and mlet macro is slightly limited. It works in almost all simple cases but with some complex cases it clearly has limitations. As example, we are found this limitations implementing monad transformers... At this moment we are researching the best way to solve that, and the first approach in the mind is make an other mlet like macro (mdo is a candidate) with type parameter. But at this moment nothing is done. > Full Disclosure: I also spent some thought on how the type of a `return` > could be determined in a dynamic language; I was thinking along the lines > of making return a macro and passing it as an unevaluated thunk until the > type can be determined. This should be possible due to associativity in > monads. What do you think? > I don't know if is good idea make return a macro, in any case, we will consider your approach, thanks! > > cheers > Greetings. Andrey > -- > Note that posts from new members are moderated - please be patient with > your first post. > --- > You received this message because you are subscribed to the Google Groups > "ClojureScript" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to clojurescript+unsubscr...@googlegroups.com. > To post to this group, send email to clojurescr...@googlegroups.com. > Visit this group at http://groups.google.com/group/clojurescript. > -- Andrey Antukh - Андрей Антух - <andrei.anto...@kaleidos.net> / <n...@niwi.be > http://www.niwi.be <http://www.niwi.be/page/about/> https://github.com/niwibe -- 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/d/optout.
