# Types of Functions and Lists

## Christopher Diggins — 2007-03-24 18:54:54

    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