Weblogs Forum - Cat now has a Type System

Articles |
News |
Weblogs |
Books |
Forums

Artima Forums | Articles | Weblogs | Java Answers | News

Sponsored Link •

Weblogs Forum
Cat now has a Type System

1 reply on 1 page. Most recent reply: Sep 19, 2006 6:13 AM by Cleo Saulnier

Welcome Guest
Sign In

Back to Topic List

Reply to this Topic

Search Forum

Threaded View


Previous Topic		Next Topic

Flat View: This topic has 1 reply on 1 page

Christopher Diggins

Posts: 1215
Nickname: cdiggins
Registered: Feb, 2004

Cat now has a Type System (View in Weblogs)

Posted: Sep 16, 2006 2:52 PM

Summary
I've posted a preview of the Cat programming language which has actually has a static type checker and type inference engine.

The Cat programming language now has a type checker and type inference engine. Cat also now has its own domain http://www.cat-language.com where I've posted an introductory manual, and a preview of the interpreter. Be aware though, the download is extremely unstable. It is more a proof of concept than anything else at this point, but if you are interested in hacking it the source code is public domain.

Cleo Saulnier

Posts: 77
Nickname: vorlath
Registered: Dec, 2005

Re: Cat now has a Type System

Posted: Sep 19, 2006 6:13 AM

I looked at it and the source. I thought for an entire day what I could say about it, if anything. I couldn't find anything for linking to external API's, so it has limited use for me. I thought the implementation details were far more interesting than the language itself. It reminded me a lot of why I like assembler. The stack aspect of the language is like the hardware (in assembly) that you have to figure out how to use. But beyond that, I have no opinion either way.

Flat View: This topic has 1 reply on 1 page

Previous Topic

Next Topic


	Web Artima.com