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. The manual and tutorials are quite good, it 
was frustrating how little resources there were otherwise - it is, for 
example, challenging to find a large quantity of well documented example 
code. Clojure doesn't have this problem.

I would feel much better about learning language-specific idiosyncrasies of 
a general purpose language that I'm likely to use in the future. If Clojure 
+ core.logic can easily be adapted to solve term rewriting problems then 
I'd much rather spend time on it. 

On Thursday, April 19, 2012 9:39:35 PM UTC-5, David Nolen wrote:
>
> What don't you like about Maude?
>
> On Wed, Apr 18, 2012 at 10:05 PM, Matthew Rocklin <mrock...@gmail.com>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 application. I'm willing to spend some time learning a new 
>> language/system in order to do this cleanly. I'm currently playing with the 
>> Maude system but am finding it restrictive. I've heard good things about 
>> Clojure's core.logic module and thought it might be a good case of a domain 
>> specific sublanguage contained within a general purpose language. 
>>
>> Question:
>> Are there examples of term rewriting systems written in Clojure? If not, 
>> how difficult would this be? Are there suggested ideas or directions on 
>> implementation? I suspect that core.logic's unification system can be 
>> leveraged to perform much of the work. 
>>
>> Best,
>> -Matthew Rocklin <http://matthewrocklin.com>
>>
>> -- 
>> 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 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

Reply via email to