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