On Thursday 13 November 2008 18:15, Chris Turner wrote: > Hi all, > > I created a new framework for defining specifications on functions... > > ... > > http://www.bitbucket.org/BestFriendChris/clojure-spec/wiki/Home > > ... > > Thoughts?
What you've done starts to remind me, however tangentially, of ACL2. Given that the A in ACL2 is "Applicative" (functional), it strikes me as quite likely that the concepts implemented in ACL2 would be straightforwardly applicable to Clojure, though it's virtually certain that the implementation / recreation of ACL2 for Clojure would be arduous. ACL2, by the way, is Applicative Common Lisp. It is a system for proving properties of Lisp programs written in an applicative subset of Common Lisp. ACL2 is a descendent of the Boyer-Moore theorem prover also known as Nqthm. - <http://www.cs.utexas.edu/users/moore/acl2/> - <http://en.wikipedia.org/wiki/ACL2> > Chris Randall Schulz --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
