http://www.artima.com/weblogs/index.jsp?blogger=cdiggins Artima Weblogs is a community of bloggers posting on a wide range of topics of interest to software developers. http://www.artima.com/images/artima88x33.gif http://www.artima.com/ http://www.artima.com/weblogs/viewpost.jsp?thread=232905 I am conducting a research survey with Dr. Abdelwahab Hamou-Lhadj at Concordia University concerning the role of diagrams in UML. http://www.artima.com/weblogs/viewpost.jsp?thread=231684 The old school approach to comments was to toss them out during the tokenization phase of compiling. Modern IDEs are making comments increasingly relevant to the software development process. So what happens if we push the idea even further? http://www.artima.com/weblogs/viewpost.jsp?thread=226766 I propose the term "superlanguages" to describe languages with extensible syntax, designed for the implementation of domain specific embedded languages and to support language oriented programming, because they effectively provide a superset of the syntax and semantics of other languages. http://www.artima.com/weblogs/viewpost.jsp?thread=203732 The Cat programming language version 0.11 has just been released. I thought I'd take a moment to talk a bit about what Cat is all about. http://www.artima.com/weblogs/viewpost.jsp?thread=201597 Would you like to know how to write an interpreter? Many programmers have asked me the question, so I wrote a short article explaining how the Cat interpreter works in detail. http://www.artima.com/weblogs/viewpost.jsp?thread=195448 Do you want to become a better programmer? I have some advice: share some code! http://www.artima.com/weblogs/viewpost.jsp?thread=194223 What specifically are the phases of software development? I was taught there were about 4 or 5, but I believe I have identified a few more. http://www.artima.com/weblogs/viewpost.jsp?thread=193590 I have posted a near final draft (in PDF and PS format) of my paper on the semantics of Cat at http://www.cat-language.com/paper.html, and I wanted to make a public request for comments. http://www.artima.com/weblogs/viewpost.jsp?thread=193004 The Cat programming language is fast approaching 1.0 status! http://www.artima.com/weblogs/viewpost.jsp?thread=186995 This is just to let everyone know that I have started my own separate blog on my home page. http://www.artima.com/weblogs/viewpost.jsp?thread=186200 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. http://www.artima.com/weblogs/viewpost.jsp?thread=185940 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. http://www.artima.com/weblogs/viewpost.jsp?thread=185420 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! http://www.artima.com/weblogs/viewpost.jsp?thread=184418 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. http://www.artima.com/weblogs/viewpost.jsp?thread=184126 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.