Sponsored Link •
Heron-Centric: Ruminations of a Language Designer
A Weblog by Christopher Diggins
Christopher is the creator of the Heron programming language.
B. Scott Andersen
Vladimir Ritz Bossicard
James O. Coplien
Cees de Groot
David Heinemeier Hansson
Jakob Eg Larsen
Robert C. Martin
John D. Mitchell
Eric S. Raymond
Guido van van Rossum
Richard Hale Shaw
November 26, 2006, 51 comments
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.
November 23, 2006, 10 comments
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.
November 19, 2006, 2 comments
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!
November 11, 2006, 15 comments
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.
November 9, 2006, 6 comments
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.
November 4, 2006, 4 comments
I've recently posted the Cat source code to CodeProject.com with a reasonably detailed description of the design and implementation.
October 31, 2006, Submit comment
I've just posted a fairly in depth Cat tutorial, and the Cat version 0.9.4 ... it's been a long day.
October 30, 2006, Submit comment
I've posted a list of the built-in atomic functions for the most recent version (0.9.3) of the Cat language.
October 26, 2006, Submit comment
I can see the light at the end of the tunnel, Cat is quickly reaching a stable 1.0 release.
October 25, 2006, 6 comments
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.
October 14, 2006, 9 comments
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.
October 8, 2006, 9 comments
I was writing code in front of a colleague of mine yesterday and he noted that my style was a form of intentional programming.
September 30, 2006, 6 comments
Wherein I talk about the merits of type inference, the latest Cat release, unit tests, and miniature computers.
September 23, 2006, 28 comments
I have started work on an introductory textbook to programming and I am inviting feedback on my choice of languages and layout.