Lambda the Ultimate

C++ FQA Lite

C++ is a general-purpose programming language, not necessarily suitable for your special purpose.

That's the most succinct expression of what the site is about :)

Just curious - does anyone know whether Oracle will continue to support development of the Fortress PL at Sun?

Any word / thoughts on what the latest is with the linear or uniqueness approach to mutability etc. in non-imperative languages, as opposed to explicit use of Monads? I did stumble upon a sorta relevant POPL09 paper while searching, but I'm more interested in something that is usable and pragmatic rather than something researchy. Of course, those are all highly subjective terms. I mean, I like the idea of Concurrent Clean, but the IDE really gave me the heebie geebies. Seems like maybe DDC is the main contender otherwise? (Basically, I just think that Monads are still a bit of a large hurdle to expect regular folks to deal with.)

"COMPOSITA is a new programming language with an integrated general component notion. It is designed to promote structural clarity, high dynamicity, and inherent concurrency in the construction of modern software systems."

The COMPOSITA Language

Right on!

I have a couple of Logo turtle graphics examples that I need to reproduce in high resolution. any suggestions which software I can use? (I am lazy, so I prefer something that can execute the logo directly though translating to other languages should be trivial; it uses logo variables and list handling primitives).

So is there any high resolution freely available logo implementation out there?

This may be obvious to many of you, but it got me thinking:

module Main where

data Z = X Int | Y Int

xy z = case z of
         X a -> "X"
         Y a -> "Y"

x = X 0

y = Y 1

Above Haskell program works as expected: (xy x) outputs X and (xy y) outputs Y. So although Haskell uses static typing, at times it needs to do type checking at runtime? Any studies on overhead of runtime type checking in languages employing static vs. "dynamic" typing?

I'm sure some of the other language designers around here have already tackled this problem, but I can't find anything in the archives...

I was wondering if anyone knows of a good list of programming problems that would be good for testing a language. I'm looking to not only test the correctness of my interpreter implementation, but also how usable some of the language's constructs are. The only test/sample programs I can think of off the top of my head would be things that a programming class would assign as homework, such as factorials, sort routines, that sort of thing. But I want to make sure I cover enough bases before I finalize my design.

I was thinking of going through the list of problems on sites such as rosettacode.org, but I'd also like to find problems that target specific paradigms and concepts (at the moment I'm looking at making sure closures are done correctly, in addition to continuations when I get that far). Another idea I had was to go ahead and translate the problems in SICP into my language implementation, seeing as how there's already an SICP translation project out there. Would that pretty much cover all the bases? And possibly add on problems from one of the standard algorithms text books?

Thanks.

kind-of a fun book:

Masterminds of Programming: Conversations with the Creators of Major Programming Languages

I'm building an IDE to support our next generation architecture at work, and believe a better documentation tool than NDoc would be nice.

When talking about documentation, the first thought that comes to mind is "literate programming". Currently I'm reading three of the four full-length books on the subject, I've already read the Literate Programming FAQ as well as Marc van Leeuwen's Literate Programming in C CWEBX manuscript.

I don't have time to endlessly evaluate prior art in this space, and was hoping there was a language guru here at LtU who knows a lot about this esoteric area of language research: making code more like english prose and the prose more like code, to the point of unifying codes and comments.

To be clear, the tool doesn't have to be called a "literate programming tool" to qualify as such! Even if it is only a partial idea for LP, if it is really cool and slick, then I want to demo it. A good example is Emacs' MMM-Mode.

I love examples! TIA