For a long while I didn't fully grasp the funky syntax of typed functional languages like ML and Haskell, until I realized a fundamental difference between many typed functional languages and common imperative languages.

I've recently discovered the Google custom search engine service (the so-called Google co-op) and I've used it to build a search engine service dedicated to programming languages.

So I am currently studying the language of "serious" language researchers in order to write a paper about Cat, and the book "Types and Programming Languages" by Benjamin Pierce has turned out to be a huge boon!

Having spent some more time trying to explain Cat, a stack based functional language, I came to an interesting realization: virtually everything could be explained in terms of tuples.

I've posted an updated version of the Cat manual with a generalized description of the type inference algorithm used in Cat. This post contains an excerpt of the type inference algorithm description.

I've recently posted the Cat source code to CodeProject.com with a reasonably detailed description of the design and implementation.

I've just posted a fairly in depth Cat tutorial, and the Cat version 0.9.4 ... it's been a long day.

I've posted a list of the built-in atomic functions for the most recent version (0.9.3) of the Cat language.

I can see the light at the end of the tunnel, Cat is quickly reaching a stable 1.0 release.

In Joy any number is an executable program, which pushes the the number on to the stack. This begs the question: what is the type of 42? In Cat I created two separate types, but now I am rethinking that choice.

I've heard a lot about recursive types, but I never really paid attention until I found a weakness in the Cat type system which demanded one.

I was writing code in front of a colleague of mine yesterday and he noted that my style was a form of intentional programming.

Wherein I talk about the merits of type inference, the latest Cat release, unit tests, and miniature computers.

I have started work on an introductory textbook to programming and I am inviting feedback on my choice of languages and layout.

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