On Sun, Nov 20, 2011 at 11:53 AM, Robert Levy <[email protected]> wrote:
> See: http://gallium.inria.fr/~naxu/research/dana-phd.pdf > > What do you think about this idea? I have just started reading the above > pdf... I don't see much of interest when googling for '"static contract" > Racket' but that would be a closer jump to Clojure if someone figured out > how to do this in a Lisp. The Racket community seems the likeliest home for > such research. > > Also, I'm curious to know what other concepts/techniques might be on the > table in the plan for Clojure to surpass statically typed languages at > their own game (to the extent that their game is all that relevant). > > Rob > That looks really interesting! http://code.google.com/p/jchord/ yet another interesting approach that uses Datalog to analyze Java programs. I think ClojureScript is a fantastic place to try these things out. Currently there's no good way to plug-in custom analysis. So a first step would probably be a design page on what that should look like. For example, it would be nice to be able to run the analyzer w/o compilation. A pluggable stand-alone analyzer would be a big step forward, even if you don't plan to use core.logic with it! However should you decide to use core.logic I think a pretty interesting contract/blame system could be built once we implement the cKanren extensions. David -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. 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
