Sponsored Link •
I haven't been posting as much at Artima lately, but I have been posting a fair amount of questions and ideas at Lambda-the-Ultimate.org.
I know that some of the readers of my blog are particularly interested in my blog posts about language design, but unfortunately I haven't been making as many contributions lately. The truth is that I have been wrestling with some pretty significant bugbears with regards to the Cat type system. To help defeat them, I have been calling on the big guns at Lambda-the-Ultimate.org, a discussion site for programming language and type system theorists.
Lambda-the-Ultimate.org is admittedly over my head at times, but sometimes jumping into the deep end is the best way to learn to swim. It is a good place to hang out for aspiring language designers. They do have their own jargon at that site which can be a bit impenetrable at times, so I recently purchased the Types and Programming Languages book by Benjamin C. Pierce.
What is happening right now with Cat is that I am trying to merge static type-checking and dynamic type-checking in a single language. Not really anything new when you think about it. many languages support or at least provide the tools to implement variant types. What I am doing a bit different is that types have become first class values in Cat, and the core language is dynamically typed. At the same time Cat supports, and in fact encourages, type annotations, and optional compilation.
If a Cat program is compiled then the compiler is expected to precompute the type-expressions the same way compilers for other language precompute constant integer expressions. Like how 2 + 5 will often be replaced with the value 7 at compile-time.
In language implementation news, the newest version of Cat is approaching completion, but I want to finish some more of the type checking functionality first before I put it out there.
|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.|