The Artima Developer Community
Sponsored Link

Heron-Centric: Ruminations of a Language Designer
Cat now has a Type System
by Christopher Diggins
September 16, 2006
Summary
I've posted a preview of the Cat programming language which has actually has a static type checker and type inference engine.

Advertisement

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.

Talk Back!

Have an opinion? Readers have already posted 1 comment about this weblog entry. Why not add yours?

RSS Feed

If you'd like to be notified whenever Christopher Diggins adds a new entry to his weblog, subscribe to his RSS feed.

About the Blogger

Christopher Diggins is a software developer and freelance writer. Christopher loves programming, but is eternally frustrated by the shortcomings of modern programming languages. As would any reasonable person in his shoes, he decided to quit his day job to write his own ( www.heron-language.com ). Christopher is the co-author of the C++ Cookbook from O'Reilly. Christopher can be reached through his home page at www.cdiggins.com.

This weblog entry is Copyright © 2006 Christopher Diggins. All rights reserved.

Sponsored Links



Google
  Web Artima.com   

Copyright © 1996-2014 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use - Advertise with Us