On Wednesday, 30 April 2014 19:03:24 UTC+1, Gregg Reynolds wrote: > > The one thing that I think would be genuinely useful and developer > friendly with respect to Clojure is a means of making type signatures > explicit. Clojure may be dynamically typed, but everything has an intended > type, and I would like to see it. I'm thinking of something along the way > Haskell and other languages express type sigs. The paradigmatic example is > factorial (or fibonacci). So given a factorial function "fact" I want to > be able to write something like (type-sig fact) and get something like "Int > -> Int". >
(I think someone might have mentioned it above, but it doesn't hurt to repeat) you might like schema https://github.com/Prismatic/schema/ . Jony -- 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.