Re: Term rewriting systems implemented in Clojure

A few years back I copied a small rewrite system from Scheme to Clojure while watching the SICP video lectures. It's a nice use case for a rewrite system. You can enter a mathematical function and the system will rewrite the function to its derivative. > > Perhaps this code plus the videos will

Re: Term rewriting systems implemented in Clojure

I have a bit of a rewrite system built on core.unify at https://github.com/fogus/unifycle, but it's far from comprehensive. -- 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 f

Re: Term rewriting systems implemented in Clojure

A quick perusal of Google and I can see that term rewrite systems & Lisp have a very long history. I'm not familiar with any specific Clojure projects, but it seems like a rich field and there's a lot of literature to back you up. David On Fri, Apr 20, 2012 at 11:08 AM, Matthew Rocklin wrote: >

Re: Term rewriting systems implemented in Clojure

Maude is certainly quite interesting. I definitely hope that it takes off. If there were people in my community who were more familiar with Maude I think it would be a good choice for me. Are you aware of any project that attempts to implement anything like a term rewrite system

Re: Term rewriting systems implemented in Clojure

I don't know Maude so I can't speak to much on it - though I've heard good things from many different people. Clojure is fairly well documented - core.logic not so much. People are doing interesting things with it but in order to get proficient it requires quite a bit of reading and research into

Re: Term rewriting systems implemented in Clojure

I felt like I was spending a large amount of time learning a specialized system. About half the time was learning how to pose problems in a new paradigm and about half the time was dealing with language-specific idiosyncrasies. The first is necessary and good, the second was more frustrating.

Re: Term rewriting systems implemented in Clojure

What don't you like about Maude? On Wed, Apr 18, 2012 at 10:05 PM, Matthew Rocklin wrote: > Hello, > > << As a disclaimer I know very little about this topic or about Clojure; > please be kind. >> > > Background: > I'm interested in implementing a small term rewriting system for a > specific appl

Term rewriting systems implemented in Clojure

Hello, << As a disclaimer I know very little about this topic or about Clojure; please be kind. >> Background: I'm interested in implementing a small term rewriting system for a specific application. I'm willing to spend some time learning a new language/system in order to do this cleanly. I'