I've just posted an explanation of the Cat type system as it compares
to Joy, and why functions and lists aren't the same types. I also go
on to discuss a proposed extension to the Cat type system to allow
functions to be implicitly cast to lists where needed. The resulting
semantics are a bit different than those of Joy but I am hopeful
readers will find it satisfactory.
The post is at:
http://cdiggins.com/2007/03/24/the-types-of-functions-and-lists-in-joy-and-cat/
Please let me know if anything is unclear, or I have made any mistakes
with regards to Joy.
Thanks
Christopher,
http://cdiggins.com