Book Recommendations

29 views
Skip to first unread message

Yves Cloutier

unread,
Mar 25, 2018, 10:57:07 AM3/25/18
to pure-lang
Hi there,

I'm reaching out to see if there would be any recommendations for books you know of on the topic of term rewriting approach to software development.

Something practical, which ideally doesn't make heavy use of types.

I stumbles upon Term Rewriting And All That  which seems promising. Any others anyone would recommend?


Albert Graef

unread,
Mar 25, 2018, 4:44:51 PM3/25/18
to pure...@googlegroups.com
None that I know of (outside the realm of computer algebra theorem proving, that is). Both "Term Rewriting and All That" and the Terese book are about theory. There aren't all that many practical general-purpose systems for TRS programming either. Pure is the only one I know of. :)

There's Mike O'Donnell's book from 1985, but that's more of historic interest nowadays: https://books.google.de/books/about/Equational_Logic_as_a_Programming_Langua.html?id=w9kmAAAAMAAJ&source=kp_cover&redir_esc=y

I'm afraid that programming language research was way more interesting in the 1970s and 1980s, when people were still pursuing novel concepts instead of incrementally improving the tried and proven stuff.

Albert


--
You received this message because you are subscribed to the Google Groups "pure-lang" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pure-lang+unsubscribe@googlegroups.com.
To post to this group, send email to pure...@googlegroups.com.
Visit this group at https://groups.google.com/group/pure-lang.
For more options, visit https://groups.google.com/d/optout.



--
Dr. Albert Gr"af
Computer Music Research Group, JGU Mainz, Germany
Email:  agg...@gmail.com
WWW:    https://plus.google.com/+AlbertGraef

Yves Cloutier

unread,
Mar 26, 2018, 10:20:04 AM3/26/18
to pure-lang
dang, I see.  Well, thanks for sharing your feedback, as well as your impression of "Term rewriting and All That".  Made me reconsider buying it.


On Sunday, March 25, 2018 at 4:44:51 PM UTC-4, aggraef wrote:
None that I know of (outside the realm of computer algebra theorem proving, that is). Both "Term Rewriting and All That" and the Terese book are about theory. There aren't all that many practical general-purpose systems for TRS programming either. Pure is the only one I know of. :)

There's Mike O'Donnell's book from 1985, but that's more of historic interest nowadays: https://books.google.de/books/about/Equational_Logic_as_a_Programming_Langua.html?id=w9kmAAAAMAAJ&source=kp_cover&redir_esc=y

I'm afraid that programming language research was way more interesting in the 1970s and 1980s, when people were still pursuing novel concepts instead of incrementally improving the tried and proven stuff.

Albert

On Sun, Mar 25, 2018 at 4:57 PM, Yves Cloutier <yves.c...@gmail.com> wrote:
Hi there,

I'm reaching out to see if there would be any recommendations for books you know of on the topic of term rewriting approach to software development.

Something practical, which ideally doesn't make heavy use of types.

I stumbles upon Term Rewriting And All That  which seems promising. Any others anyone would recommend?


--
You received this message because you are subscribed to the Google Groups "pure-lang" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pure-lang+...@googlegroups.com.

To post to this group, send email to pure...@googlegroups.com.
Visit this group at https://groups.google.com/group/pure-lang.
For more options, visit https://groups.google.com/d/optout.

Yves Cloutier

unread,
Mar 29, 2018, 6:24:40 PM3/29/18
to pure-lang
Actually I see you mention these 2 books on one of your pages:

https://github.com/agraef/pure-lang/wiki/Rewriting
Reply all
Reply to author
Forward
0 new messages