Hi Meikel, On Thu, Jul 21, 2011 at 2:19 PM, Meikel Brandmeyer <m...@kotka.de> wrote:
> Hi, > > Am Mittwoch, 20. Juli 2011 15:28:58 UTC+2 schrieb Ambrose > Bonnaire-Sergeant: > >> I also dropped the whole walkthrough with typedo, and replaced it with an >> interesting (but much easier) look at geto. >> See "Utility Function: geto" for the new section. >> >> https://github.com/frenchy64/**Logic-Starter/wiki<https://github.com/frenchy64/Logic-Starter/wiki> >> >> Let me know what you think. >> > > Quite nice. Although I found the walkthrough good to get an understanding > what's going, just difficult to follow because of the short local names. > Good to know. I'll be able to skip over the details of `geto` now so a new walkthrough of typedo should be clearer. > But it's certainly better too separate out geto. And while we are breaking > conventions ;-P: would geto not better be named mapsto? with exchanged > argument order? > > (defn mapsto? > [env sym type] > (matche [env] > ([[[sym :- type] . _]]) > ([[_ . ?rest]] (mapsto? ?rest sym type)))) > > Ah, but is mapsto? a boolean predicate? :) Sure, it acts like it when its arguments are concrete values, but ;) ... maybe there is some virtue in the "o" suffix. As The Reasoned Schemer puts it, looks can be deceiving. As for the argument order, I tend to agree with you. I think David had some reservations about changing them, but I'm not sure why. Maybe the same reason he put one letter variables everywhere ;-) Good to see you're enjoying yourself! (Go buy The Reasoned Schemer!) Ambrose -- 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
