The Artima Developer Community
Articles | News | Weblogs | Books | Forums
Sponsored Link

Artima Weblogs
Heron-Centric: Ruminations of a Language Designer
A Weblog by Christopher Diggins
Welcome Guest
  Sign In
13 pages [ 1 2 3 4 5 6 7 ]
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 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.
September 16, 2006,  1 comment
I've posted a preview of the Cat programming language which has actually has a static type checker and type inference engine.
13 pages [ 1 2 3 4 5 6 7 ]
Subscribe to be notified of new weblog posts by Christopher Diggins via RSS.

Sponsored Links


Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use