# Designing a Type Notation for a Stack Based Functional Language

## Christopher Diggins — 2006-05-06 16:45:34

    I am designing a dialect of Joy called 'Big Cat'. I have posted samples of

    the type annotation syntax at Lambda-the-Ultimate (

    http://lambda-the-ultimate.org/node/1455 ) and I was hoping for some

    feedback.

    I am developing the Big Cat interpreter in C#, and I'll share the source

    with the group as public domain as soon as I have a prototype. The

    long-range goal is to develop a highly optimized version of Big Cat which

    translates to MSIL.

    Thanks in advance.

    Christopher Diggins

    [Non-text portions of this message have been removed]

## William Tanksley, Jr — 2006-05-06 21:47:18

    Christopher Diggins <cdiggins@...> wrote:

     > I am designing a dialect of Joy called 'Big Cat'. I have posted samples of

    > the type annotation syntax at Lambda-the-Ultimate (

    > http://lambda-the-ultimate.org/node/1455 ) and I was hoping for some

    > feedback.

     Looks good to me. Have you played around with/read the documentation

    about strongForth, at

    http://home.vrweb.de/stephan.becher/forth/index.htm? Your work will

    probably have to be more powerful than his, but it's still a good

    start with a solid algorithm.

     > I am developing the Big Cat interpreter in C#, and I'll share the source

    > with the group as public domain as soon as I have a prototype. The

    > long-range goal is to develop a highly optimized version of Big Cat which

    > translates to MSIL.

     That's a great idea.

     > Christopher Diggins

     -Billy