Lambda the Ultimate

We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw sensor data, the user can query vehicle speeds; the system decides which sensor data and which operations to use to infer the vehicle speeds. The user can also place constraints on values such as the confidence with which the speed was measured or the amount of energy consumed to measure the speeds. This framework is designed to work in a shared sensor infrastructure, where multiple queries may coexist for extended periods of time, instead of a hand-designed, single purpose sensor network. We propose a semantic service programming model and describe a service description language and a query processor that support the programming model. We demonstrate how this system can be used with a network of video, magnetometer, and infrared break beam sensors deployed in a parking garage.

The declarative framework is based on Prolog and CLP(R) and implemented using SICStus Prolog.

jhc is a haskell compiler which aims to produce the most efficient programs possible via whole program analysis and other optimizations.

This seems like an interesting project, for example: Region Inferencing, Compilation by transformation with 2 general intermediate languages, very modern design, using rank-n polymorphism, monad transformers, generic programing, and existential types.

Note, howver, that there are quite a few problems (scaling, memory leaks, etc.)

Maybe some of you might want to offer a helping hand...

Noticing the absence of any page on encodings on Wikipedia, I gathered my memories and wrote one. Corrections/additions/critics are welcome.

Oh, and feel free to flame me if you think that LtU is the wrong place for such an announcement.

"Qi is an award-winning Lisp-based functional programming language that offers the best of Common Lisp with the advantages of pattern matching, l calculus consistency, and optional static type checking. It uses sequent calculus notation to define types, and has the most powerful type system of any existing functional language, including ML and Haskell."
http://www.lambdassociates.org/

"Our mission is to gather some of the most talented functional programmers to build the Integrated Functional Programming Environment (IFPE). IFPE is intended to give the functional programmer complete integrated type-secure access to every feature of his computer, from Internet to email. The IFPE will be freely available under the GNU licence."

There is also a quick "15-minute" intro for ML programmers, as well as one for Lisp programmers.

I haven't used it yet, but I noticed it was only mentioned here once in a comment; and it looks like the sort of thing that drives people around here wild.

XML Enhancements for Java (XJ) are a set of extensions to Java 1.4 that integrate support for XML, XML Schema and XPath 1.0 into the language.

(one more to add to the list of XML/language integration attempts)

The documents on this page consolidate a possible amendment to Ada 95 with Technical Corrigendum 1 and the Ada Standard (International Standard ISO/IEC 8652:1995). The Amendment will be produced by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG). The final form of the Amendment, or whether its standardization will succeed, are not known at this time. Thus, any proposed feature may be substantially changed or withdrawn before the Amendment begins standardization. These draft documents are not an official publication or work product of the ARG, but rather are provided by Ada Europe as a service to the Ada community.

Ada is a quite well designed language (despite having quirks like any other language, of course). The design process is impressive, as you can see if you check the ARG website.

The next version of Ada is almost ready, and you can get a taste of what's coming up by reading the reference manual, or the Annotated Ada 2006 Language Reference Manual which includes more detailed language design reasoning.

Among the new things in Ada06 are: interfaces (as in Java), mutually dependent references between units and finer control over access from the private part of a package, standard library enhancements including a comprehensive container library, file and directory management etc. and extensive additions to the Real-Time Systems Annex.

The Real-Time Systems Annex which specifies additional characteristics of Ada implementations intended for real-time systems, and is one of Ada's strong points, now includes the Ravenscar profile for high-integrity systems, further dispatching policies such as Round Robin and Earliest Deadline First, support for timing events, and support for control of CPU time utilization.