Comments on: The Types of Functions and Lists in Joy and Cat http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/ Christopher Diggins Fri, 16 May 2008 07:02:09 +0000 http://wordpress.org/?v=2.5.1 By: cdiggins.com » Blog Archive » Term Rewriting: Towards a more powerful macro language? http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/#comment-221 cdiggins.com » Blog Archive » Term Rewriting: Towards a more powerful macro language? Sun, 25 Mar 2007 19:59:35 +0000 http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/#comment-221 [...] cdiggins.com Christopher Diggins « The Types of Functions and Lists in Joy and Cat [...] [...] cdiggins.com Christopher Diggins « The Types of Functions and Lists in Joy and Cat [...]

]]> By: cdiggins http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/#comment-220 cdiggins Sun, 25 Mar 2007 18:39:19 +0000 http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/#comment-220 You found a mistake in my code Michael, thank you! You are indeed correct that [1 2 3] list uncons == [1 2] list 3 I've updated the post. You found a mistake in my code Michael, thank you! You are indeed correct that

[1 2 3] list uncons == [1 2] list 3

I’ve updated the post.

]]> By: Michael Nedzelsky http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/#comment-217 Michael Nedzelsky Sun, 25 Mar 2007 09:32:15 +0000 http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/#comment-217 I am not fully anderstand the following: > And in Cat: > [1 2 3] uncons == [1 2] 3 It seems that [1 2 3] uncons == [1 2 3] list uncons == [1 2] list 3 =/= [1 2] 3 I am not fully anderstand the following:

> And in Cat:
> [1 2 3] uncons == [1 2] 3

It seems that
[1 2 3] uncons == [1 2 3] list uncons == [1 2] list 3 =/= [1 2] 3

]]>